P
∧ (Q∧R)
⇔
(P
∧Q) ∧R
P
∨ (Q∨R)
⇔
(P
∨Q) ∨R
P
∧Q
⇔
Q
∧P
P
∨Q
⇔
Q
∨P
P
∧ (Q∨R)
⇔
(P
∧Q) ∨ (P∧R)
P
∨ (Q∧R)
⇔
(P
∨Q) ∧ (P∨R)
¬ (P∧Q)
⇔
¬P∨¬Q
¬ (P∨Q)
⇔
¬P∧¬Q
P
⇒Q
⇔
¬Q⇒¬P
¬¬P
⇔
P
P
⇒Q
⇔
¬P∨Q
P
⇔Q
⇔
(P
⇒Q) ∧ (Q⇒P)
P
⇔Q
⇔
(P
∧Q) ∨ ( ¬P∧¬Q)
P
∧¬P
⇔
False
P
∨¬P
⇔
True