Obtén respuestas claras y concisas a tus preguntas en IDNStudies.com. Nuestra plataforma ofrece respuestas confiables para ayudarte a tomar decisiones inteligentes de manera rápida y sencilla en cualquier situación.

Fundamentos de logica

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)]