表1 常用逻辑运算定理 |
逻辑运算定理 | 原等式 | 对偶式 |
交换律 | A·B=B·A |
A+B=B+A |
结合律 | A(BC)=(AB)C | A+(B+C)=(A+B)+C |
分配律 | A(B+C)=AB+AC | A+BC=(A+B)(A+C) |
自等律 | A·1=A | A+0=A |
0-1律 | A·0=0 | A+1=1 |
互补律 | A·A=0 | A+A=1 |
重叠律 | A·A=A | A+A=A |
吸收律 | A+AB=A | A·(A+B)=A |
非非律 | ||
反演律(摩根定律) |
表1 常用逻辑运算定理 |
逻辑运算定理 | 原等式 | 对偶式 |
交换律 | A·B=B·A |
A+B=B+A |
结合律 | A(BC)=(AB)C | A+(B+C)=(A+B)+C |
分配律 | A(B+C)=AB+AC | A+BC=(A+B)(A+C) |
自等律 | A·1=A | A+0=A |
0-1律 | A·0=0 | A+1=1 |
互补律 | A·A=0 | A+A=1 |
重叠律 | A·A=A | A+A=A |
吸收律 | A+AB=A | A·(A+B)=A |
非非律 | ||
反演律(摩根定律) |