常用的命题定律
双重否定定律 A<=> ¬¬A
幂等定律 A<=>A∨A,A<=>A∧A
结合定律 (A∨B)∨C <=> A∨(B∨C), (A∧B)∧C <=> A∧(B∧C)
交换定律 A∨B <=> B∨A, A∧B <=> B∧A
分配律 A∨(B∧C) <=>(A∨B)∧(A∨C) (∨对∧的分配律)，A∧(B∨C) <=>(A∧B)∨(A∧C) (∧对∨的分配律)
吸收率 A∨(A∧B)<=>A, A∧(A∨C)<=>A
德摩根律 ¬(A∨B)<=>¬A∧¬B, ¬(A∨B)<=>¬A∧¬B
同一律 A∨F<=>A, A∧T<=>A
零律 同一律 A∨T<=>T, A∧F<=>F
排中律 A∨¬A<=>T
否定率 A∧¬A<=>F
蕴涵等值式 A→B<=>¬A∨B
等价等值式 A↔B<=>(A→B)∧(B→A)
假言易位 A→B<=>A→¬B
等价否定等值式 A↔B<=>¬A↔¬B
归谬论 (A→B)∧(A→¬B)<=>¬A
