Tabla de verdad

Algoritmo que otorga valor de verdad a una formula de Lógica Proposicional en función de sus componentes: subfórmulas y conectores.

Una tabla de verdad es una representación gráfica de todos los posibles valores de verdad de una proposición molecular, y donde se muestran todas las posibles interpretaciones de cada asignación veritativa. Con fines ilustrativos, en la siguiente tabla de verdad (la que define a la conjunción) se representan en distintos tonos de verde las atribuciones veritativas, y en diferentes tonos de rojo las interpretaciones:

(Véase atribución veritativa, interpretación, valor de verdad).

Todo circuito lógico combinacional tiene lo que se llama la Tabla de Verdad, en la que se representan las diferentes combinaciones de las entradas del circuito y el resultado obtenido en la salida para cada una de las combinaciones.