2-6逻辑运算的公式.ppt

第二章逻辑代数理论与电路实现

2.3逻辑运算中的公式主讲人：黄丽亚

2.3逻辑运算的公式2.3.1基本公式：1.自等律A+0=AA·1=A2.吸收律A+1=1A·0=03.重叠律A+A=AA·A=A4.互补律5.还原律A=AA+A=1A·A=06.交换律A+B=B+AA·B=B·A

7.结合律A+B+C=(A+B)+C=A+(B+C)A·B·C=(A·B)·C=A·(B·C)8.分配律A·(B+C)=AB+ACA+BC=(A+B)·(A+C)9.反演律A+B=A·BAB=A+B基本定律的正确性可以用列真值表的方法加以证明。又称：德·摩根（DeMorgan）定理

关于异或、同或运算的一些公式(1)交换律(2)结合律(3)分配律(4)因果互换律如果则有A⊙B=B⊙A(A⊙B)⊙C=A⊙(B⊙C)A+(B⊙C)=(A+B)⊙(A+C)A⊕B=A⊙BA⊙B=A⊕B(5)反演律

2.3.2常用公式1.合并相邻项公式AB+AB=A证明：?A2.消项公式A+AB=A证明：一项以另一项为因子，则该项是多余的。推广A+A（…）=A??

3.消去互补因子公式A+AB=A+B若某一项的部分因子是另一项的反，则该部分因子可消去。证明：判断下面等式是否正确？??????

4.多余项（生成项）公式AB+AC+BC=AB+AC证明：AB+AC+BC=AB+AC+ABC+ABC=AB+AC=AB+AC+(A+A)BC若两乘积项中部分因子互补，则其余因子组成的乘积项可消去，或其余因子组成第三项的部分因子，则第三项可消去。AB+AC+BCD=AB+AC