逻辑代数不但有与普通代数相似的交换律、结合律和分配律,其本身还有一些特殊定律。常用的定律如下:
(1)交换律 A·B=B·A A+B=B+A
(2)结合律(A·B)·C=A·(B·C)
(A+B)+C =A+(B+C)
(3)分配律 A·(B+C)=A·B+A·C
A十BC=(A+B)(A+C)
(4)重迭律 A·A=A A+A=A
(5)0-1律 0·A=0 0+A=A
1·A=A 1+A=1
(6)互补律 A·

=0 A+

=1
(7)摩根定律

=

+

=

·
(8)吸收律 A·(A+B)=A A+AB=A