Como simplificar : (p→q)∧~p→[~p→(q v ~p)]?
Como simplificar : (p→q)∧~p→[~p→(q v ~p)].
Como simplificar : (p→q)∧~p→[~p→(q v ~p)].
Pregunta de Matemáticas · 1 respuesta · mejor respuesta de Mafernancholeon
En resumen
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.
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.
Lo voy a hacer directo .