数字逻辑原理与应用作者郭军第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)具有标号