Simplificar(≈p v ≈q) ^ [≈ p ^ (q →P)]?
Simplificar (≈p v ≈q) ^ [≈ p ^ (q →P)].
Simplificar (≈p v ≈q) ^ [≈ p ^ (q →P)].
Pregunta de Matemáticas · 1 respuesta · 7 votos · mejor respuesta de Aj11
En resumen
(~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.
(~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.
(~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.