Sr Examen
  • Expresiones idénticas

  • ((¬ P ∨ Q) ∧ (Q → P)) → (P ∧ ¬ Q)
  • ¬ P ∨ Q ∧ Q → P → P ∧ ¬ Q

Expresión ((¬ P ∨ Q) ∧ (Q → P)) → (P ∧ ¬ Q)