[理学]第二章 逻辑代数基础.pptVIP

* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 图1-17 八个最小项合并 卡诺图化简法(4) 23 　（2）利用卡诺图化简逻辑函数 　 A．基本步骤： 　　① 画出逻辑函数的卡诺图； 　　② 合并相邻最小项（圈组）； 　　③ 从圈组写出最简与或表达式。　　 　 B．正确圈组的原则 必须按2、4、8、2N的规律来圈取值为1的相邻最小项； 　每个取值为1的相邻最小项至少必须圈一次，但可以圈多次； 圈的个数要最少（与项就少），并要尽可能大（消去的变量就越多）。 卡诺图化简法(5) 　　关键是能否正确圈组 。 24 　 C．从圈组写最简与或表达式的方法： 　 ① 将每个圈用一个与项表示 　　圈内各最小项中互补的因子消去， 　　相同的因子保留， 　　相同取值为1用原变量， 　　相同取值为0用反变量；　　 　　② 将各与项相或，便得到最简与或表达式。 卡诺图化简法(6) 25 　　例4 用卡诺图化简逻辑函数 　　Y(A、B、C、D)=∑m(0,1,2,3,4,5,6,7,8,10,11) 解： 相邻 A 卡诺图化简法(7) 26 相邻 BC A 卡诺图化简法(8) 27 BC A B D 卡诺图化简法(9) 28 　　例5 化简图示逻辑函数。 　　解： 多余的圈 1 1 2 2 3 3 4 4 29 　　圈组技巧(防止多圈组的方法)：　 　 ① 先圈孤立的1；　　 　　② 再圈只有一种圈法的1； ③ 最后圈大圈； ④ 检查：每个圈中至少有一个1未被其它圈圈过。 卡诺图化简法(11) 30 2.7 具有无关项的逻辑函数的化简 约束项 任意项 在逻辑函数中，对输入变量取值的现实，在这些取值下为1的最小项为约束项 在输入变量某些取值下，函数值为1或为0不影响逻辑电路的功能，在这些取值下为1的最小项称为任意项 逻辑函数中的无关项：约束项和任意项可以写入函数式，也可不包含在函数式中，因此统称为无关项。 判断一位十进制数是否为偶数。 不会出现 不会出现 不会出现 不会出现 不会出现 不会出现 说 明 × 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 2.7 具有无关项的逻辑函数的化简 例1： 　　输入变量A，B，C，D取值为0000～1001时，逻辑函数Y有确定的值，根据题意，偶数时为1，奇数时为0。 　　A，B，C，D取值为1010 ～1111的情况不会出现或不允许出现，对应的最小项属于任意项。用符号“φ”、“×”或“d”表示。 　　任意项之和构成的逻辑表达式叫做 约束条件，用一个值恒为 0 的条件等式表示。 　　含有约束条件的逻辑函数可以表示成如下形式： 2.7 具有无关项的逻辑函数的化简 用三个逻辑变量A、B、C分别表示一台电动机的正转、反转和停止命令。A=1表示正转，B=1表示反转，C=1表示停止。 因为电动机任何时候只能执行其中一个命令，所以不允许两个命令同时为1，即ABC的取值只能是001，010，100中的一种，不能是000，011，110，101，111中的任一种。因此A、B、C是一组具有约束的变量。 2.7 具有无关项的逻辑函数的化简 例2： 通常用约束条件来描述约束的具体内容。 由于每一组输入变量的取值都使一个，且仅有一个最小项的值为1，所以当限制某些输入变量不能出现时，可以用它们对应的最小项恒等于0来表示。 上面例子中的约束条件可写为： 或写为： 2.7 具有无关项的逻辑函数的化简 2、无关项在化简逻辑函数中的应用 　 在存在无关项的情况下，可以把一个或几个无关项写进逻辑函数中，也可以把无关项从函数式中删掉，不影响函数值。因此在逻辑函数化简时，利用无关项有时会给化简带来方便。 在卡诺图上，究竟将“×”作为“1”还是“0”对待，应以得到的相邻最小项矩形组合最大，而且矩形组合数目最少为原则。 2.7 具有无关项的逻辑函数的化简 2.7