现在来研究开关代数的一组性质(这些性质有时称为定理)。
1.结合律:(a b) c=a (b c) ,
(a·b)·c=a·(b·c).
2.交换律:a b=b a, a·b=b·a.
3.分配律:a·(b c)=(a·b) (a·c),
a (b·c)=(a b)·(a c).
4.吸收律:a a·b=a, a·(a b)=a.
5.幂等律:a a=a, a·a=a.
6.德·摩根律(反演律):(a b)′=a′·b′,
(a·b)′=a′ b′.
7.对合律(双重否定律):(a′)′=a.
8.互补律:a a′=1, a·a′=0.
9.零一律(幺元律):a 0=a, a·1=a.
10.囿元律(极元律):a 1=1, a·0=0.