常用的逻辑运算定理如表1所示
| 表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所示
| 表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 |
| 非非律 | ||
| 反演律（摩根定律） |
