Question

Como simplificar: (p→q)∧~p→[~p→(q v ~p)]

Answer 1

Lo voy a hacer directo .. Paso por es muy largó 
~{[~(~p∧~q)]->~(pv~q)} /ley condicional 
~{~{[~(~p∧~q)]}v~(pv~q)}/morgan,doble negación 
(Pvq)v(~p∧q)/ asociativa 
[pv(~p∧q)]vq /por etski 
(Pvq)vq/ asociativa 
Pv(qvq)/idempotencia 
Pvq