Las tablas de verdad son una herramienta de la lógica proposicional para determinar el valor de verdad (verdadero o falso) de una proposición. Representan todas las posibles combinaciones de valores de verdad de las variables proposicionales que componen la proposición, asignando un valor de verdad a la proposición resultante. Las tablas de verdad utilizan los valores booleanos verdadero y falso (también representados como 1 y 0) para evaluar el resultado de operaciones lógicas como la conjunción, disyunc