Partiendo de las tablas de verdad de las conectivas es posible establecer la tabla de verdad de cualquier fórmula compleja. Para ello basta con descomponer la fórmula y establecer las tablas de verdad de sus componentes hasta alcanzar la tabla de verdad de la fórmula total. El procedimiento es el siguiente:
- Se simplifica las variables simples (p, q, r)
- Aparecen en la tabla las variables negadas.
- Aparecerán los paréntesis más simples y después por orden de complejidad los demás paréntesis que aparecen en la fórmula hasta alcanzar la fórmula completa.
- Posteriormente, tienen que aparecer las posibles combinaciones de valores de verdad de las diferentes fórmulas simplificadas, para ello nos remitiremos a las tablas de las conectivas.
No hay comentarios:
Publicar un comentario