Método de Tablas de Verdad

Una técnica semántica y exhaustiva para fórmulas proposicionales que enumera todas las asignaciones posibles de valores de verdad a las proposiciones atómicas y evalúa la fórmula en cada asignación para determinar validez, satisfacibilidad o equivalencia.