Simplificación de Esquemas Moleculares

PRINCIPALES LEYES LÓGICAS

1. Idempotencia

p ∧ p ≡ p

p ∨ p ≡ p

2. Conmutativa

p ∧ q ≡ q ∧ p

p ∨ q ≡ q ∨ p

3. Asociativa

(p ∨ q) ∨ r ≡ p ∨ (q ∨ r)

(p ∧ q) ∧ r ≡ p ∧ (q ∧ r)

4. Distributiva

p ∨ (q ∧ r) ≡ (p ∨ q) ∧ (p ∨ r)

p∧(q ∨ r) ≡ (p ∧ q) ∨ (p ∧ r)

5. Ley de doble negación

∼(∼p) ≡ p

6. De De Morgan

∼(p ∨ q) ≡ ∼p ∧ ∼q

∼(p ∧ q) ≡ ∼p ∨ ∼q

7. De absorción

p ∨ (p ∧ q) ≡ p

p ∧ (p ∨ q) ≡ p

p ∨ (∼p ∧ q) ≡ p ∨ q

p ∧ (∼p ∨ q) ≡ p ∧ q

8. De la condicional

p → q ≡ ∼p∨q

p → q ≡ ∼q → ∼p

9. De la bicondicional

p ↔ q ≡ (p → q) ∧ (q → p)

p ↔ q ≡ ∼(p ↔/ q)

p ↔ q ≡ ∼p ↔ ∼q

10. Del complemento

p ∨ ∼p ≡ V

p ∧ ∼p ≡ F

11. De la identidad

p ∨ V ≡ V

p ∧ V ≡ p

p ∨ F ≡ p

p ∧ F ≡ F

Simplificación de esquemas moleculares

Haga una tabla de verdad del esquema molecular 

{[(𝑝˅~𝑟) → 𝑟]˄(𝑟 → 𝑠)} → (~𝑠 → 𝑞) 

Y luego simplifique (use las leyes lógicas) ¿Qué puede concluir de los 2 resultados?