卡诺图专题.ppt

卡诺图专题 第3章特殊部分 3A.1 介绍 布尔函数的化简导致了数字电路的简化(常常是变快了)。 使用布尔恒等式来化简布尔函数是耗时的并且易于出错。 这里给出了一种简易的、有条理的化简布尔表达式的方法。 3A.1 介绍 在1953，Maurice Karnaugh 是贝尔实验室的一名电信工程师。 随着数字逻辑新领域的开发和电话线路的应用，他发明了形象化的图表方法来化简布尔表达式。 这种图表的表达被称为卡诺图(Kmap)，以他的名字命名。 3A.2 卡诺图的描述和术语 卡诺图是一个矩阵，这个矩阵由代表布尔函数的输出值的行和列组成。 每一个单元的输出值是从布尔函数的最小项中获得的。 最小项是一个积的形式，包含了函数中所有变量，所有变量只出现一次，或者是变量本身，或者是其反码。 3A.2卡诺图的描述和术语 例如, 一个输入为x 和y的函数的最小项是： 3A.2卡诺图的描述和术语 相似地，带有3个输入变量的函数，其最小项如右图。 3A.2卡诺图的描述和术语 卡诺图为每一个最小项分配一个单元。 这意味着对于一个函数的真值表，每一行都有一个单元。 函数F(x,y) = xy的真值表和相应的卡诺图如右图。 3A.2卡诺图的描述和术语 如另一个例子，对于 F(x,y) = x + y函数,我们给出卡诺图和真值表如右图。 这一函数与所有值为1的最小项的或等价。 3A.3 利用卡诺图化简二变量函数 当然，我们从卡诺图中得到的最小项函数不是最简化的形式。 那就是在这个例子当中,我们用什么开始. 然而，通过找卡诺图中相临的1，我们可以把复杂的表达式化简。 3A.3利用卡诺图化简二变量函数 选择两组1来形成简单的卡诺图的最好方式如下图所示。 这两组中包含的项数都是2的次幂，并且两组有重叠。 下一张幻灯片给了我们选择卡诺图组的向导。 3A.3利用卡诺图化简二变量函数 卡诺图简化的规则是： 只对取值为1的最小项进行分组合并。 分组仅能由同行或同列的1项构成，不允许有对角线分组。 分组中1项的数量必须是2的次幂，即使它只含有1个。 分组中应包含尽可能多的合并项。 分组可以重叠，也可以由卡诺图相邻边缘内的最小项构成。 3A.4利用卡诺图化简三变量函数 三变量卡诺图构造如下。 每个单元中已经放置了最小项。 注意，矩阵顶部yz的值的组合形式不是按正常的二进制形式排列的。 3A.4利用卡诺图化简三变量函数 这样，卡诺图的第一行包含的所有最小项中的x值都为0。 第一列含有所有的最小项中的y和z值都为0。 3A.4利用卡诺图化简三变量函数 考虑函数: 它的卡诺图如下。 如何确定包含有2的次幂个1项的最大分组？ 3A.4利用卡诺图化简三变量函数 如此分组意味着，变量x和y的变化对于函数值没有影响 ：它们是不相关的。 函数 可以化简为F(x) = z。 3A.4利用卡诺图化简三变量函数 现在，考虑一个更加复杂的函数： 它的卡诺图如下。有且仅有两个关于1项的分组。 你能找出它们吗? 3A.4利用卡诺图化简三变量函数 该卡诺图中，其中一个分组由卡诺图相邻边缘内的最小项构成。 该分组表明，x和 y 的值与分组内的函数项是不相关的。 3A.4利用卡诺图化简三变量函数 顶行中的绿色分组说明仅仅x的值是有意义的。 因为顶行表示x取反，所以该行化简为： 最终化简后的函数是： 3A.5利用卡诺图化简四变量函数 继续考虑四变量卡诺图构造。 下图是一个16个最小项的卡诺图。 3A.5利用卡诺图化简四变量函数 将函数中的非零最小项置于卡诺图当中: 你能够证明在这个卡诺图中仅有三个分组吗? 3A.5利用卡诺图化简四变量函数 三个分组： 在卡诺图右侧的紫色的完整组。 包围底部和顶部的粉色组。 边角的绿色组。 因此，化简后的函数包含三项： 3A.5利用卡诺图化简四变量函数 卡诺图中的分组方法有很多种，原则是要使分组尽可能大。 来自于下面不同分组的函数逻辑上是等价的。 3A.6 无关条件 真正电路设计中，存在某些输入对输出没有定义或不明确。 例如，一些计算器由7段LED显示，这些LED可以显示 2 7 –1种形式，但是仅仅其中的10种是有用的。 如果所设计的电路对于一组特殊的输入永远都不可能发生，我们称这组输入为无关条件。 对于卡诺图电路的简化，它们是非常有用的。 3A.6 无关条件 卡诺图中，无关输入的最小项用X 来标示，如下图所示。 在执行简化的过程中，当我们构造分组时，可以随意的包括或者忽略X。 3A.6 无关条件 在下面卡诺图的一个分组中，化简函数为： 3A.6 无关条件 不同分组得到不同函数： 3A.6 无关条件 真值表: 不同于真值表: 然而, 对于不同的值所对应的输入中包含无关条件。 3A结论 卡诺图提供了一种简化布尔表达式的简单的作图法。 卡诺图是一个矩阵