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)]
Sagot :
Apreciamos tu contribución. No olvides volver para hacer más preguntas y aprender cosas nuevas. Tu conocimiento es esencial para nuestra comunidad. Gracias por confiar en IDNStudies.com para resolver tus dudas. Vuelve para obtener más información y respuestas claras.