Leyes lógicas (Tautologías – Implicaciones lógicas – Equivalencias lógicas)

1. Conmutativa
De la conjunción
(𝑝 ∧ 𝑞) ⇔ (𝑞 ∧ 𝑝)
De la disyunción
(𝑝 ∨ 𝑞) ⇔ (𝑞 ∨ 𝑝)
De la diferencia simétrica
(𝑝 ∨ 𝑞) ⇔ (𝑞 ∨ 𝑝)
Del bicondicional
(𝑝 ↔ 𝑞) ⇔ (𝑞 ↔ 𝑝)

2. Asociativa
De la conjunción
(𝑝 ∧ 𝑞) ∧ 𝑟 ⇔ 𝑝 ∧ (𝑞 ∧ 𝑟)
De la disyunción
(𝑝 ∨ 𝑞) ∨ 𝑟 ⇔ 𝑝 ∨ (𝑞 ∨ 𝑟)
De la diferencia simétrica
(𝑝 ∨ 𝑞) ∨ 𝑟 ⇔ 𝑝 ∨ (𝑞 ∨ 𝑟)

3. Distributiva
De la conjunción con respecto a la disyunción
(𝑝 ∨ 𝑞) ∧ 𝑟 ⇔ (𝑝 ∧ 𝑟) ∨ (𝑞 ∧ 𝑟)
De la disyunción con respecto a la conjunción
(𝑝 ∧ 𝑞) ∨ 𝑟 ⇔ (𝑝 ∨ 𝑟) ∧ (𝑞 ∨ 𝑟)
De la conjunción c/r a la diferencia simétrica
(𝑝 ∨ 𝑞) ∧ 𝑟 ⇔ (𝑝 ∧ 𝑟) ∨ (𝑞 ∧ 𝑟)
4. Simplificación (𝑝 ∧ 𝑞) ⇒ 𝑝

5. Ampliación o adición 𝑝 ⇒ (𝑝 ∨ 𝑞)

6. Tercero excluido 𝑝 ∨ (∼ 𝑝) ≡ 𝑉

(𝑝 ∧ 𝑉) ⇔ 𝑝
7. Leyes de identidad
(𝑝 ∨ 𝐹) ⇔ 𝑝
(𝑝 ∧ 𝐹) ⇔ 𝐹
8. Leyes de dominación
(𝑝 ∨ 𝑉) ⇔ 𝑉
9. Involutiva ∼ (∼ 𝑝) ⇔ 𝑝

∼ (𝑝 ∧ 𝑞) ⇔ (∼ 𝑝) ∨ (∼ 𝑞)
10. Leyes de De Morgan
∼ (𝑝 ∨ 𝑞) ⇔ (∼ 𝑝) ∧ (∼ 𝑞)
𝑝 ∧ (𝑝 ∨ 𝑞) ⇔ 𝑝
11. Ley de absorción
𝑝 ∨ (𝑝 ∧ 𝑞) ⇔ 𝑝
(𝑝 ∨ 𝑝) ⇔ 𝑝
12. Idempotencia
𝑝 ∧ 𝑝) ⇔ 𝑝
13. Contrarrecíproco (𝑝 → 𝑞) ⇔ ((~𝑞) → (~𝑝))

14. Negación del condicional ~(𝑝 → 𝑞) ⇔ (𝑝 ∧ (~𝑞))

15. Equivalencia del condicional (𝑝 → 𝑞) ⇔ ((~𝑝) ∨ 𝑞)

(~𝑝 ∧ 𝑝) ⇔ 𝐹
16. Complemento (∼ 𝐹) ⇔ 𝑉
(∼ 𝑉) ⇔ 𝐹