基本等值式
1.双重否定律     A  ┐┐A
2.幂等律      A  A∨A,  A  A∧A
3.交换律      A∨B  B∨A，  A∧B  B∧A
4.结合律      (A∨B)∨C  A∨(B∨C)     (A∧B)∧C  A∧(B∧C)
5.分配律      A∨(B∧C)  (A∨B)∧(A∨C)     （∨对∧的分配律）
        A∧(B∨C)  (A∧B)∨(A∧C)     （∧对∨的分配律）
6.德·摩根律     ┐(A∨B)  ┐A∧┐B      ┐(A∧B)  ┐A∨┐B
7.吸收律        A∨(A∧B)  A，A∧(A∨B)  A
8.零律        A∨1  1,A∧0  0
9.同一律       A∨0  A，A∧1  A
10.排中律       A∨┐A  1
11.矛盾律       A∧┐A  0
12.蕴涵等值式      A→B  ┐A∨B
13.等价等值式      AB  (A→B)∧(B→A)
14.假言易位      A→B  ┐B→┐A
15.等 ...