第6章-1 逻辑代数.pptVIP

≥1 Y 例2.12 用与－或－非式实现逻辑函数 例2.13 试化简逻辑函数 Y=(A?B.C.D) =?(0.2.3.5.6.8.9.10.11. 12.13.14.15) AB CD 00 01 11 10 00 01 11 10 1 0 1 1 1 1 1 1 0 1 0 1 1 1 1 1 A CD BC BD BCD 解： L（A,B,C,D）=∑m（0,2,3,4,6,7,10,11,13,14,15） 例2.14 用卡诺图化简逻辑函数： （2）画包围圈，合并最小项， 得简化的与—或表达式: （1）由表达式画出卡诺图。 Y A 0 1 BC 00 01 11 10 1 1 1 1 0 0 0 0 2. 用卡诺图表示逻辑函数 1）间接填入法 先将逻辑函数写成最小项表达式，再填卡诺图 Y AB 00 01 11 10 CD 00 01 11 10 0 0 0 0 0 0 0 0 1 1 1 1 0 1 1 1 2. 用卡诺图表示逻辑函数 1）间接填入法 Y AB 00 01 11 10 CD 00 01 11 10 1 1 1 0 0 0 0 0 0 0 0 0 0 1 1 1 2. 用卡诺图表示逻辑函数 2）直接填入法 利用卡诺图化简逻辑函数 基本原理： 由于卡诺图几何相邻（包括对称相邻） 与逻辑上相邻性一致，所以几何相邻 （包括对称相邻）的最小项可合并 几何相邻性： 两个几何位置相邻的单元其输入变量的取值只能有一位不同。 0 1 3 2 4 5 7 6 12 13 15 14 8 9 11 10 AB CD 00 01 11 10 00 01 11 10 ABCD ABCD ABCD ABCD ABCD ABCD ABCD ABCD ABCD ABCD ABCD ABCD ABCD ABCD ABCD ABCD 对称相邻性： 任意两个对称的单元其输入变量的取值也只能有一位不同。 （1） 只要有两个相邻单元取值同为1，可以将这两个 最小项合并成一项，并消去一个变量。 A BC 00 01 11 10 0 1 1 1 =BC(A+A) Y=ABC+ABC 利用A+A=1的关系 卡诺图化简规则： =BC （2）如果是四个几何相邻单元取值同为1， 则可以合并，并消去两个变量。 A BC 00 01 11 10 0 1 1 1 1 1 A BC 00 01 11 10 0 1 1 1 1 1 Y=A =AC+AC =C 卡诺图化简规则： Y=ABC+ABC+ABC+ABC Y= ABC+ABC+ABC+ABC =AC(B+B)+AC(B+B) Y AB 00 01 11 10 CD 00 01 11 10 1 1 1 1 1 1 1 1 1 （2）如果是四个几何相邻单元取值同为1， 则可以合并，并消去两个变量。 Y AB 00 01 11 10 CD 00 01 11 10 1 1 1 1 （3）若八个最小项相邻， 可合并为一项消去三个不同因子 1 1 1 1 1 1 1 1 A 卡诺图化简规则： 利用对称相邻性化简举例 AB CD 00 01 11 10 00 01 11 10 AB CD 00 01 11 10 00 01 11 10 1 1 1 1 1 1 1 1 1 1 Y= BCD Y= D 总之，2n个相邻的最小项结合，可以消去n个取值不同变量而合并为1项。 卡诺图化简规则： （1）2个相邻的最小项结合，可以消去