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
{[(𝑝˅~𝑟) → 𝑟]˄(𝑟 → 𝑠)} → (~𝑠 → 𝑞)
