5. Demuestra sin tablas de verdad, que cada una de las implicaciones es una equivalencia
a) p ↔ q es equivalente a (p ∧ q) ⋁ (¬p ∧ ¬q)
b) ¬p → ( q → r) es equivalente a q → (p ∨ r)
c) [p ∧ (s ∨ ¬r)] es equivalente a ¬[p → ¬(s ∨ ¬r)]
d) [(p⋁s) → (q ∧ p ∨ ¬s)] es equivalente a [¬(q ∧ p ∨ ¬s) → ¬(p ∨ s)]