Question

Simplificar usando las leyes lógicas ∼ (∼ p → q) → (q ∧ p)
por favor con resolución

Answer 1

Respuesta:

Explicación paso a paso:

====>(∼ p → q) → (q ∧ p)

====>∼(∼(∼p)vq)v(q∧p)

====>∼(pvq)v(p∧q)

====>(∼p∧∼q)v(p∧q)

====>((∼p∧∼q)vp))∧((∼p∧∼q)vq))

====>(pv∼q)∧(qv∼p)

====>(q→p)∧(p→q)

====>p⇔q