Las tablas de verdad en lógica de programación son una herramienta representada en varios gráficos de filas y columnas que muestran todos los posibles escenarios y condiciones para que un enunciado sea verdadero o falso. Esto se logra a través del uso de booleanos conectados con operadores lógicos.
Durante la sesión, se resolvieron una serie de ejercicios de forma grupal con los cuales se aplican los distintos conectivos lógicos para alcanzar un resultado.
Las tablas de verdad nos permiten analizar cualquier fórmula y hallar sus valores de verdad. Nos dice si una fórmula es satisfacible. Si un razonamiento es válido o no. Constituye un procedimiento de decisión que en un número finito de pasos nos dice si una fórmula es una tautología o no.
ResponderBorrar