Como simplificar: (p→q)∧~p→[~p→(q v ~p)]
Respuestas a la pregunta
Contestado por
3
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
~{[~(~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
Otras preguntas
Geografía,
hace 7 meses
Física,
hace 7 meses
Matemáticas,
hace 1 año
Musica,
hace 1 año
Ciencias Sociales,
hace 1 año