正文
双重否定律(双重否定表肯定)：
¬ ¬ A ⟺ A
等幂律(一件事情说两遍)：
1、A ∨ A ⟺ A
2、 A ∧ A ⟺ A
交换律：
1、A ∨ B ⟺ B ∨ A
2、A ∧ B ⟺ B ∧ A
结合律：
1、( A ∨ B ) ∨ C ⟺ A ∨ ( B ∨ C )
2、( A ∧ B ) ∧ C ⟺ A ∧ ( B ∧ C )
分配律：
1、A ∨ ( B ∧ C ) ⟺ ( A ∨ B ) ∧ ( A ∨ C )
2、A ∧ ( B ∨ C ) ⟺ ( A ∧ B ) ∨ ( A ∧ C )
德摩根律(去括号要变号)：
1、¬ ( A ∨ B ) ⟺ ¬ A ∧ ¬ B
2、¬ ( A ∧ B ) ⟺ ¬ A ∨ ¬ B
吸收律：
1、A ∨ ( A ∧ B ) ⟺ A
2、A ∧ ( A ∨ B ) ⟺ A
零律：
1、A ∨ 1 ⟺ 1
2、A ∧ 0 ⟺ 0
同一律：
1、A ∨ 0 ⟺ A
2、A ∧ 1 ⟺ A
排中律：
A ∨ ¬ A ⟺ 1
矛盾律：
A ∧ ¬ A ⟺ 0
蕴含等值式：
A → B ⟺ ¬ A ∨ B
等价等值式
A ↔ B ⟺ ( A → B ) ∧ ( B → A )
假言易位(逆否命题)
A → B ⟺ ¬ B → ¬ A
等价否定等值式
A ↔ B ⟺ ¬ A ↔ ¬ B
归谬论(前提A 错误)：
( A → B ) ∧ ( A → ¬ B ) ⟺ ¬ A
