EJEMPLOS

ADICIONALES
Leyes de la Lógica
𝑡 ∧ 𝑡 ∨ −𝑟 ∧ s ∨ −𝑡 ∧ 𝑠 ∨ 𝑟
𝑠 ∧ 𝑝 ∧ 𝑠 ∧ 𝑝 ∨ 𝑡 ∨ 𝑝 ∨ −𝑝 ∧ 𝑡
𝑝 ∨ 𝑞 ∨ 𝑟 ∧ 𝑝 ∨ 𝑡 ∨ −𝑞 ∧ p ∨ −𝑡 ∨ 𝑟
𝑃 ∧ ¬𝑄 → ¬𝑃 ∨ ¬ 𝑄 ∨ ¬𝑃