【离散思维导图一】

对离散数学第一二章的一些总结，写成了思维导图，包含了命题逻辑，命题及联结词，合式公式及翻译，等价公式，范式及命题推理理论，较为简单，实际难点在于还未涉及的推理，对公式的记忆很重要。

较常用重要公式标*

双重否定律
¬ ¬ A    ⟺    A 

幂等律：
A ∨ A    ⟺    A 
 A ∧ A    ⟺    A 

交换律：
A ∨ B    ⟺    B ∨ A 
A ∧ B    ⟺    B ∧ A 

结合律：
( A ∨ B ) ∨ C    ⟺    A ∨ ( B ∨ C )

( A ∧ B ) ∧ C    ⟺    A ∧ ( B ∧ C )

分配律***：
A ∨ ( B ∧ C )    ⟺    ( A ∨ B ) ∧ ( A ∨ C )  
A ∧ ( B ∨ C )    ⟺    ( A ∧ B ) ∨ ( A ∧ C )

德摩根律(去括号需变号)***：
¬ ( A ∨ B )    ⟺    ¬ A ∧ ¬ B 
¬ ( A ∧ B )    ⟺    ¬ A ∨ ¬ B 

吸收律：
A ∨ ( A ∧ B )    ⟺    A 
A ∧ ( A ∨ B )    ⟺    A 

零律*：
A ∨ 1    ⟺    1 
A ∧ 0    ⟺    0 

同一律：
A ∨ 0    ⟺    A 
A ∧ 1    ⟺    A 

排中律：
A ∨ ¬ A    ⟺