Equivalencias Lógicas

(1) ≡ Doble Negación (DN)

(2) ∨ ≡ ∨ Conmutatividad (Conm)

∧ ≡ ∧

(3) ∨ ∨ ≡ ∨ ∨ Asociatividad (Asoc)

∧ ∧ ≡ ∧ ∧

(4) ∨ ∧ ≡ ∨ ∧ ∨ Distributividad (Dist)

∧ ∨ ≡ ∧ ∨ ∧

(5) ∨ ≡ ∧ De Morgan (DeM)

∧ ≡ ∨

(6) ∨ ≡ Idempotencia (Idem)

∧ ≡

(7) ∨ ≡ Neutro (Neu)

∧ ≡

(8) ∨ ≡ Inversa (Inv)

∧ ≡

(9) ∨ ≡ Dominación (Dom)

∧ ≡

(10) ∨ ∧ ≡ Absorción Disyuntiva (AbsD)

∧ ∨ ≡ Absorción Conjuntiva (AbsC)
(11) → ≡ → Contrarrecíproco (CR)

(12) → ≡ ∨ Traducción de la Implicación (TI)

Traducción de la Negación de la Implicación
(13) → ≡ ∧ (TNI)

(14) ↔ ≡ → ∧ → Traducción de la Equivalencia (TE)

Recordar que significa tautología y significa contradicción.