Question

como simplificar: ~{ [~(~p ^ q) v ~q ] → ~ (p v ~q) }

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

Saludos y espero que te sea de ayuda .. Si me equivoque en algo es por que todo lo hice desde el celular ..