Algumas equivalências lógicas

Lei da dupla negação

∼∼ P é logicamente equivalente a P.

Leis de De Morgan
∼ (P ∧ Q) é logicamente equivalente a ∼ P ∨ ∼ Q.
∼ (P ∨ Q) é logicamente equivalente a ∼ P ∧ ∼ Q.

Leis comutativas
P ∧Q é logicamente equivalente a Q ∧ P.
P ∨Q é logicamente equivalente a Q ∨ P.

Leis associativas
P ∧ (Q ∧ R) é logicamente equivalente a (P ∧ Q) ∧ R.
P ∨ (Q ∨ R) é logicamente equivalente a (P ∨ Q) ∨ R.

Leis distributivas
P ∧ (Q ∨ R) é logicamente equivalente a (P ∧ Q) ∨ (P ∧ R).
P ∨ (Q ∧ R) é logicamente equivalente a (P ∨ Q) ∧ (P ∨ R).
(P ∨ Q) ∧ R é logicamente equivalente a (P ∧ R) ∨ (Q ∧ R).
(P ∧ Q) ∨ R é logicamente equivalente a (P ∨ R) ∧ (Q ∨ R).

Leis de idempotência
P ∧P é logicamente equivalente a P.
P ∨P é logicamente equivalente a P.

Lei condicional
P ⇒Q é logicamente equivalente a ∼ P ∨ Q.

Lei do contrarrecíproco
P ⇒Q é logicamente equivalente a ∼ Q ⇒∼ P.