基本等价关系

• 幂等律
• 同样符号的可以交换律
• 结合律
• 同一律（0,1）
• 零律（0,1）
• 分配率（不同符号）
• 结合律
• 吸收律（不同符号，内外有相同表达式）!!
• 矛盾律和排中律
• 德摩根律

蕴含联结词

• 蕴含式 $G\to H=\neg G\vee H$ (G 被 H 包含) !!
• 假言易位 $G\to H=\neg H\to \neg G$
• 等价式 $G\leftrightarrow H=(G\to H)\wedge (H\to G)$
• 等价否定等式 $G\leftrightarrow H=\neg G\leftrightarrow \neg H$
• 归谬论 $(G\to H)\wedge (G\to \neg H)=\neg G$ (反证法)