Capítulo 1-Lógica y Conjuntos- Ejercicio 82: Demostraciones

82. Utilice el método directo para demostrar que:
a) ( p ↔ q) ≡ ( p ∨ q) → ( p ∧ q)
b) ¬ ( p ∨ q) ∨ (¬ p ∧ q)  ≡  ¬ p