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