正文

双重否定律(双重否定表肯定)：

¬ ¬ 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