Simplificacion de formulas propsicionales
1)~p ^ (~p→q)
↨
Ley condicional (se identifica que ley es para aplicarla)
~p ^[~(~p) v q]
↨
Ley de doble negacion ~(~p)=p
~p ^ [p v q]
↨
Ley de absrocion ~p ^ [p v q]= ~p ^ q
R=> ~p ^ q
2) (q → p) → [(p v q) → (q ^ ~p)]
Definicion condicional
↨
~(~q v p) v [~(p v q) v (q ^ ~p)]
↑
Ley de Morgan y Doble negacion
↓
(q v ~p) v [(~p ^ ~q) v (q ^ ~p)]
↨
Ley Distributiva
↓
(q v ~p) v [(~p ^ (~q v q)]
↓
Condicion de negacion
↓
(q v ~p) v (~p ^ V)
↓
Elemento neutro
↓
(q v ~p) v ~p
↨
Ley de absorcion
↓
~p
3) (p ↔ q) v (p v q)
↓
Definicion Bicondicional
↓
[(p → q) ^ (q→p)] v (p v q)
↓
Definicion de implicacion
↓
[(~p v q) ^ (~q v p)] v (p v q)
↓
Ley distributiva
↓
[(~p v q) v (p v q)] ^ [(~q v p) v (p v q)]
↓
Ley Asociativa
↓
[q v(~p v p)] ^ [p v(~q v q)]
↓
Condicion de negacion
↓
(q v V) ^ (p v V)
↓
Condicion Tautologia
↓
V
Videos que pueden ayudarte a entender mejor.
Para poder simplificar estas formulas es de suma importancia conocer las leyes logicas , ya de que estas leyes se obtiene la formula de cada una de estas , para su desarrollo.
En conclusion La simplificación de fórmulas proposicionales es una técnica fundamental que mejora la claridad, eficiencia y efectividad en diversos campos, desde la lógica matemática hasta la ingeniería y la informática. Mediante el uso de reglas y leyes lógicas, como las Leyes de Morgan y la doble negación, las expresiones lógicas complejas pueden transformarse en formas más manejables y útiles.