Anónimo
Consulta - simplificación de fórmulas lógicas
¿Me ayudarían a simplificar la siguiente proposición lógica indicando las leyes que se van aplicando en los pasos?
La proposición es: (~ p ^ q) => (q => p)
Respuesta
1
Veamos si queda algo más 'resumido'
(~ p ^ q) => (q => p)
Sabemos que (p => q) es lo mismo que (~ p v q)
~ (~ p ^ q) v (q => p)
Otras vez aplico lo mismo
~ (~ p ^ q) v (~ q v p)
De Morgan
( ~ ~ p v ~ q) v (~ q v p)
Negación de la negación
( p v ~ q) v (~ q v p)
(p v ~q)
¡Gracias! Lo resolví así, pero me dio el mismo resultado que a usted.
