燕山大学信息科学与工程学院数字电子技术基础课件第二章 逻辑代数.pptVIP

第二章 逻辑代数基础 1)当已知最小项标准形式时，与1中情况相同。如: Y = m5+m6+m7 2)当已知一般与或式时，可将其化成最小项标准形式。如： Y=AB+AC =AB(C+C’)+AC(B+B’) =ABC+ABC’+ABC+AB’C =AB’C+ABC’+ABC 也可直接将每个与项填进卡诺图： 与项AB填入A、B都等于1的方格,即6号和7号最小项。 少1个变量的与项，在卡诺图上占2个相邻的小方格。 (2)已知函数式 1 0 10 11 01 00 A BC 1 1 1 10 11 01 00 10 11 01 00 AB CD 我们在四变量卡诺图上作进一步研究。 1 1 1 1 与项AB少两个变量，用AB(C+C’)(D+D’)方法可得，它包含4个最小项，编号是12，13，14，15，它们组成一个矩形。 1 1 1 1 与项A少3个变量，用A(B+B’)(C+C’)(D+D’)方法可得，它包含8个最小项，编号是8，9，10，11，12，13，14，15，它们组成一个矩形。 结论:与项少n个变量，在卡诺图上占2n个的小方格，且组成矩形！ 2.6.2 二、用卡诺图化简逻辑函数——图形法化简 1.合并最小项的规律 10 11 01 00 10 11 01 00 AB CD 1 1 1 1 1 1 1 1 与项少n个变量，在卡诺图上占2n个的小方格，且组成矩形。 反过来用： 卡诺图上合并组成矩形的2n或N个小方格，得到的与项少n个变量。 红框合并2个最小项，对应与项ABC, 相对于最小项少1(n)个变量 篮（绿）框合并4个最小项，对应与项AB’（AC’）少2(n)个变量。 紫框合并8个最小项，对应与项A少3(n)个变量。 几何相邻和逻辑相邻一致！ 10 11 01 00 10 11 01 00 AB CD m0 m1 m3 m2 m6 m7 m5 m4 m12 m13 m15 m14 m10 m11 m9 m8 10 11 01 00 10 11 01 00 AB CD 1 1 1 1 1 1 图中黑框对应与项A’B’D’。 图中篮框对应与项AD’。 图中红框对应与项B’D’。 1 1 图中紫框对应与项 D’。 1. 在包含所有最小项的前提下，“圈”越少越好 化简的原则是： 2. 在每个圈中包含的最小项的个数为2n个的前提下，圈越大越好 3. 每个圈至少要包含一个只被自己包含的最小项 2.卡诺图化简的步骤 (1)将逻辑函数化成与或式，然后画出其卡诺图； (2)按最简原则画出必要的圈； (3)求出每个圈对应的与项，然后相加。 10 11 01 00 10 11 01 00 AB CD 举例说明： Y=(A+B)CD’+((A+B)(A’+B’+C+D))’ =ACD’+BCD’+A’B’+ABC’D’ 1 1 1 1 1 1 1 1 最简与或式为： Y=CD’+A’B’+ABD’ 1可重复使用 要圈两个1 1 0 10 11 01 00 A BC 1 1 1 1 1 1 圈黑圈，得：Y=AB’+BC’+A’C 圈篮圈，得：Y=A’B+B’C+AC’ 2. Y(A,B,C,D)=m1+m5+m6+m7+m11+m12+m13+m15 10 11 01 00 10 11 01 00 AB CD 1 1 1 1 1 1 1 1 显然，紫圈是多余的，所以，画完圈后注意检查。 当最简式不唯一时，画圈的方案也不唯一. 1. Y=AB’+A’B+BC’+B’C 3. Y=AD’+BC’D+ABC+A’C’D’+A’B’D’ 1 10 11 01 00 10 11 01 00 AB CD 1 1 1 1 1 1 1 1 1 =AB+BC’+B’D’ 4. Y=A’C’D’+CD’+AD+AB+AB’C’ 10 11 01 00 10 11 01 00 AB CD 1 1 1 1 1 1 1 1 1 1 1 1 这种情况可通过圈0求Y’来解决： Y’=A’D Y=A+D’ 2.7 具有无关项的逻辑函数及其化简 2.7.1 无关项 无关项是约束项和任意项的总称。 1.约束项:取值组合不可能出现的最小项 例如，四舍五入函数:用A,B,C,D组成8421编码表示十进制数,当该数大于4时输出为1 X 1 1 1 1 X 1 1 1 0 X 1 1 0 1 X 1 1 0 0 X 1 0 1 1 X 1 0 1 0 1 1 0 0 1 1 1 0 0 0 1 0 1 1 1 1 0 1 1 0 1 0 1 0 1 0 0 1 0 0 0