Respuesta :
(p ∧ q) ⇒ r Primero eliminaré la implicancia :
¬ ( p ∧ q ) ∨ r Negamos ahora :
¬ ( ¬ ( p∧q) ) ∧ ¬r
p∧q∧¬r
se pueden hacer varias cosas con esto pero depende del valor de cada uno o si supieramos que es una tautologia podríamos simplificar más aún.
Sl2
¬ ( p ∧ q ) ∨ r Negamos ahora :
¬ ( ¬ ( p∧q) ) ∧ ¬r
p∧q∧¬r
se pueden hacer varias cosas con esto pero depende del valor de cada uno o si supieramos que es una tautologia podríamos simplificar más aún.
Sl2