DennyQi's Log
Currying
DennyQi · February 14, 2025 · 1 min read
(
A
∧
B
)
→
C
⟺
¬
(
A
∧
B
)
∨
C
⟺
(
¬
A
∨
¬
B
)
∨
C
⟺
¬
A
∨
(
¬
B
∨
C
)
⟺
A
→
(
B
→
C
)
⟺
A
→
B
→
C
(imply是右结合的)
\begin{aligned}&(A \land B)\to C\\ \iff & \neg( A\land B)\lor C \\ \iff & (\neg A \lor \neg B) \lor C \\ \iff & \neg A \lor (\neg B \lor C) \\ \iff & A \to (B \to C)\\ \iff & A\to B \to C & \text{(imply是右结合的)}\end{aligned}
⟺
⟺
⟺
⟺
⟺
(
A
∧
B
)
→
C
¬
(
A
∧
B
)
∨
C
(
¬
A
∨
¬
B
)
∨
C
¬
A
∨
(
¬
B
∨
C
)
A
→
(
B
→
C
)
A
→
B
→
C
(imply
是右结合的
)