Question

Simplificar
(≈p v ≈q) ^[≈ p ^(q →P)]

Answer 1

(~p∨~q)∧[~p∧(q→p)] Ley de Condicional
(~p∨~q)∧[~p∧(~q∨p)] Ley de Conmutatividad
(~p∨~q)∧[~p∧(p∨~q)] Ley **
(~p∨~q)∧[~p∧~q] Ley de Asociatividad
[(~p∨~q)∧~p]∧~q Ley *
~p∧~q