|
La simplificación transforma una formula extensa en otra mas, corta y con menos conectivos proposicionales lógicos
 |
Para empezar debemos trabajar con lo que hay dentro de los paréntesis, ambos paréntesis cuentan con una condicional como principal proposición por lo que debemos usar la ley condicional o ley de diferencia de implicación.
Ahora utilizaremos la ley de Morgan para simplificar el signo de negación hacia dentro del paréntesis.
Podemos realizar la ley asociativa para poder quitar 1 de los paréntesis.
Después de eliminar 1 de los paréntesis vemos que podemos realizar la ley de la absorción y así llegar al resultado final.
No hay comentarios:
Publicar un comentario