数字逻辑原理与应用 郭军 第2章新.pptVIP

* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 表2.15(e) 表2.15(f) 表格化简法与卡诺图化简法相比，四变量以上的卡诺图化简就较为复杂，而表格化简法可以用在相对较多的逻辑变量的化简；表格化简法的规律性很强，即使遇到逻辑变量很多的函数化简，只要按部就班的运算，最终总能够得到结果。因此，这个方法适用于计算机处理。 *2.7二元决策图和多值逻辑函数 逻辑函数除了可以采用真值表、表达式、卡诺图表示外，还有其他表示形式。 二元决策图（binary decision diagram, BDD）是逻辑函数的一种图形表示形式，其结构紧凑，适合计算机处理，是高级逻辑综合设计的重要方法。 定义1　BDD是有向的、结点具有标号的二叉树(V,N)。其中V为结点集，N为标号集。V中包含两类结点: (1)具有结点值value(v)∈{0,1}的叶结点； (2)具有标号v∈N的结点，这类结点具有两个子结点，左子结点left(v)∈V、右子结点right(v)∈V。 定义2　 v为逻辑函数BDD表示中的一个结点，则 (1) 当v是叶结点时，f=value(v)； (2) 当v是具有标号xi的结点时，。 定义2可以看作是展开定理的一种应用，这样，逻辑函数就可以表示成二叉树的形式，称为二元决策图BBD。 例: 逻辑函数 的BDD表示如图2.20(a)。从结构上看，BDD就是一种扩展的二叉树，其叶节点表示逻辑变量，分支表示逻辑取值。显然，由函数的BDD容易得到函数的真值表，反之亦然。在BDD中，n变量函数有2n个从根到叶的路径，恰好与真值表中的2n个元素一一对应，总结点数2n+1-1。 由逻辑代数知识可知，函数 也可以表示为图2.20(b)的形式。即当A=1时，F=1；A=0时，若B=0，则F=0；而A=0、B=1时，若C=1，则F=0，若C=0，F=1。显然，图2.20(a)和图2.20(b)是等价的，表示的是同一逻辑函数。图2.20(b)是去掉冗余结点的简化形式。 图2.20(a) 图2.20(b) 图2.20(c) 从BDD的定义可知，同一逻辑函数，采用不同的变量顺序，得到的BDD结构是不同的。如图2.2(c)是变量顺序为（B,A,C）时函数的BDD结构图。尽管两者逻辑功能是等价的，但结构的复杂程度却不一样。一般而言，当变量顺序固定时，无冗余结点的逻辑函数BDD结构是唯一的，这时的BDD称为简序二元决策图（reduced ordered binary decision diagram），是BDD的规范形式。 在前面介绍的逻辑代数中，函数的输入只有0/1二值?，一般称为二值逻辑函数。但实际应用中，函数的输入可以有三值、四值、五值……，甚至输出也可以有二值以上，即形成所谓多值逻辑（multi-valued?logic）。 下面给出多值输入，二值输出逻辑函数的基本定义。 定义3 映射 是多值输入二值输出逻辑函数，其中 ,且 例如，多值输入二值输出逻辑函数 的功能表如表2.16，其中，X1的取值P1={0,1}、X2的取值P2={0,1,2}、X3的取值P3={0，1，2，3}。 X1 X2 X3 F X1 X2X3 F X1 X2 X3 F 0 0 0 0 0 1 0 0 2 0 0 3 1 0 0 0 0 2 0 0 2 1 0 2 2 0 2 3 0 1 0 0 1 1 0 1 1 1 1 1 2 1 1 3 0 1 0 1 0 1 0 0 1 1 0 1 2 0 1 3 0 1 0 1 1 0 0 1 0