Tabla de Verdad

Un método tabular que lista todas las asignaciones posibles de valores de verdad a las variables proposicionales que aparecen en una fórmula (o conjunto de fórmulas) y registra el valor de verdad resultante de la(s) fórmula(s) en cada asignación.