IDNStudies.com, donde expertos y la comunidad se reúnen para responder a tus preguntas. Aprende respuestas detalladas a tus preguntas con la vasta experiencia de nuestros expertos en diferentes campos del conocimiento.

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