Simplificar(≈p v ≈q) ^ [≈ p ^ (q →P)]?
Simplificar (≈p v ≈q) ^ [≈ p ^ (q →P)].
Simplificar (≈p v ≈q) ^ [≈ p ^ (q →P)].
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.
Aj11
(~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.
- ( - pvq)v( - qvp) ^ (p ^ q) (p ^ - q)v( - qvp) ^ (p ^ q) p ^ ( - qv - q)vp ^ (p ^ q) p ^ ( - qvp) ^ (p ^ q) p ^ (p ^ q) (p ^ q).
En la primera parte, al tener dos variables iguales como "P" y diferentes conectores como " v " y " ^ " (señalándote con puntitos), se aplica la regla de SIMPLIFICACIÓN, es así que se elimina todo el paréntesis…
~{~[~(p∧q) v~q] → [~(p v~q)]} ~{(p∧q) ∧q → [~(p v~q)]} [(p∧q) ∧q] ∧[~p ∧q].
Seria lado por lado ; ').