第二章 逻辑代数基础阎.pptVIP

逻辑函数中的无关项：约束项和任意项可以写入函数式，也可不包含在函数式中，因此统称为无关项。其值可以取1，也可以取0。 在逻辑函数中，对输入变量取值的限制，在这些取值下为1的最小项称为约束项 在输入变量某些取值下，函数值为1或为0不影响逻辑电路的功能，在这些取值下为1的最小项称为任意项 2.7具有无关项的函数及其化简 约束项 任意项 约束项举例 例1 :十字路口红绿灯,设控制信号G=1 →绿灯亮; 控制信号R=1 →红灯亮; 则 GR可以为GR=00、01、10，但GR ≠ 11。 例2 :电动机正反转控制,设控制信号F=1 →正传; 控制信号R=1 →反转; 则 FR可以为FR=00、01、10，但FR ≠ 11。 例3 :8421BCD码中，从1010 ～1111的六种编码不允 许出现，可视为约束项。 例如：判断一位十进制数是否为偶数。 不会出现 不会出现 不会出现 不会出现 不会出现 不会出现 说 明 × 1 1 1 1 0 0 1 1 1 × 1 1 1 0 1 0 1 1 0 × 1 1 0 1 0 0 1 0 1 × 1 1 0 0 1 0 1 0 0 × 1 0 1 1 0 0 0 1 1 × 1 0 1 0 1 0 0 1 0 0 1 0 0 1 0 0 0 0 1 1 1 0 0 0 1 0 0 0 0 Y A B C D Y A B C D 　　输入变量A，B，C，D取值为0000～1001时，逻辑函数Y有确定的值，根据题意，偶数时为1，奇数时为0。 　　A，B，C，D取值为1010 ～1111的情况不会出现或不允许出现，对应的最小项属于随意项。用符号“φ”、“×”或“d”表示。 　　随意项之和构成的逻辑表达式叫做 约束条件，用一个值恒为 0 的条件等式表示。 2.7.2 无关项在逻辑函数化简中的应用 合理地利用无关项，可得更简单的化简结果 加入（或去掉）无关项，应使化简后的项数最少，每项因子最少……. 从卡诺图上直观地看，加入无关项的目的是为矩形圈最大，矩形组合数最少 00 01 11 10 00 1 01 1 11 10 1 AB CD 00 01 11 10 00 0 1 x 0 01 0 x 1 0 11 x 0 x x 10 1 x 0 x AB CD 例： 00 01 11 10 00 0 0 0 1 01 1 x 0 1 11 x x x x 10 1 0 x x AB CD * 已经不能直观地用平面上的几何相邻表示逻辑相邻，以中轴左右对称的最小项也是相邻的 因此，超过4个变量后，卡诺图失去直观性的优点，一般不用这种方法表示，化简函数 2.6.2 卡诺图化简法 一.卡诺图 实质：将逻辑函数的最小项之和以图形的方式表示出来 卡诺图：把最小项按一定规则填入的方格图。 填入规则：任何相邻方格中，它们的最小项 之间只允许有一个变量取值不同。 表示最小项的卡诺图 2变量卡诺图 4变量的卡诺图 3变量的卡诺图 5变量的卡诺图 说明： ⑴ 变量取值按循环码规则排列； ⑵ 每个小方格对应一个最小项； ⑶ 最小项在逻辑上具有相邻性，即有一个变量互为反变量； ⑷逻辑相邻： 相接——几何相邻的方格； 相对——上下两边、左右两边的方格； 相重——多变量卡诺图，以对称轴相折叠，重在一起的方格。 逻辑相邻的最小项可以消去互补变量 三变量卡诺图逻辑相邻举例 00 01 11 10 01 B C A 相接 相对 00 01 11 10 01 B C A 四变量卡诺图逻辑相邻举例 相接 相对 相对 00 01 11 10 00 01 11 10 CD AB 五变量卡诺图逻辑相邻举例 000 001 011 010 0001 11 10 CDE AB 110 111 101 100 20 21 23 22 18 19 17 16 28 29 31 30 26 27 25 24 12 13 15 14 10 11 9 8 4 5 7 6 2 3 1 0 相重 对称轴 二.逻辑函数卡诺图 用卡诺图法对逻辑函数进行化简时，首先要确定函数与卡诺图的关系，将函数用卡诺图的形式表现出来。 方法 真值表 →填卡诺图 表达式 → 一般与或式 →填卡诺图 化成