第二章逻辑代数.pptVIP

第二章逻辑代数第1页，共28页，星期日，2025年，2月5日二、基本代数规律交换律结合律分配律A+B=B+AA?B=B?AA+(B+C)=(A+B)+C=(A+C)+BA?(B?C)=(A?B)?CA(B+C)=A?B+A?CA+B?C=(A+B)(A+C)普通代数不适用!第2页，共28页，星期日，2025年，2月5日三、吸收规则1.原变量的吸收：A+AB=A证明：A+AB=A(1+B)=A?1=A例如：CDAB)FE(DABCDAB+=+++被吸收第3页，共28页，星期日，2025年，2月5日2.反变量的吸收：BABAA+=+证明：BA)AA(BA+=++=例如：ABBCAABBCAA++=++BAABABAA++=+=A+BC第4页，共28页，星期日，2025年，2月5日3.混合变量的吸收：证明：CAABBCCAAB+=++BCCAAB++BC)AA(CAAB+++=CAAB+=BCAABCCAAB+++=例如：CAAB+=BCCAAB++=BCDBCCAAB+++=BCDCAAB++1吸收第5页，共28页，星期日，2025年，2月5日4.摩根定律：BABABABA·=++=·可以用列真值表的方法证明：ABA·B0001111010110110010111110000BA·ABBA+第6页，共28页，星期日，2025年，2月5日§1.3逻辑函数的表示法1、真值表：将输入、输出的所有可能状态一一对应地列出。ABCF00000010010001111000101111011111第7页，共28页，星期日，2025年，2月5日2、逻辑函数式把逻辑函数的输入、输出关系写成与、或、非等逻辑运算的组合式，称为逻辑函数式，我们通常采用“与或”的形式。比如：ABCCBACBACBACBAF++++=表达式中，包含所有变量的原变量或反变量的乘积项，称为最小项。若两个最小项只有一个变量以原、反区别，称它们逻辑相邻（相邻项）。第8页，共28页，星期日，2025年，2月5日ABCCBACBACBACBAF++++=CBCBACBA=+?两个逻辑相邻项可以合并，消去一个因子（消去相异项，剩余共同项）逻辑相邻第9页，共28页，星期日，2025年，2月5日1.3.3卡诺图：将n个输入变量的全部最小项用小方块阵列图表示，逻辑相临项放在几何相临的位置上。每一个方块（最小项）代表一种输入组合，把对应输入组合注明在阵列图的上方和左方。1001AB101两变量卡诺图0ABC000111100111011001三变量卡诺图第10页，共28页，星期日，2025年，2月5日四变量卡诺图单元编号0010，对应于最小项：DCBAABCD=0100时函数取值函数取0、1均可，称无关项。只有一项不同ABCD000111100001110110φ10φ0111011110第11页，共28页，星期日，2025年，2月5日为了方便，用二进制对应的十进制表示单元编号。用单元编号表示最小项。ABCD00011110000101324576121315148911101110第12页，共28页，星期日，2025年，2月5日例：F(A,B,C)=?(1,2,4,7)1,2,4,7单元取1，其它取0ABC000111100101324576F(A,B,C)=ABC+ABC+ABC+ABC等价的最小项表达式ABC00011110