Una tabla de verdad es una tabla matemática que se usa en lógica y se puede usar para ver si una proposición lógica es verdadera para un valor de entrada. Las tablas de verdad se utilizan principalmente en relación con el álgebra booleana, las funciones booleanas y el cálculo proposicional. Una tabla de verdad tiene una columna para cada variable de entrada, por ejemplo, A y B, y una fila para cada combinación posible de variables de entrada verdaderas y falsas. Luego se agregan otras columnas para cada operador lógico como «Y», «O» y «XOR» y los resultados de estos operadores para cada combinación de entradas.
ExpertoGeek explica la tabla de verdad
Al filósofo austríaco Ludwig Wittgenstein se le atribuye generalmente el mérito de haber inventado y popularizado la tabla de verdad en un libro publicado en 1921, aunque se ha descubierto que otro filósofo, Charles Sanders Peirce, las inventó en 1893 en un manuscrito que nunca se ha publicado.
Hay 16 operaciones posibles que se pueden realizar con dos variables verdaderas o falsas. Estas operaciones son: Contradicción: esto siempre está mal; NOR lógico: solo es cierto cuando ni A ni B son verdaderos; No implicación inversa: es verdadero cuando B es verdadero y A es falso; Negación: solo es cierto cuando A es falso, independientemente del valor de B; No implicación material: es cierto cuando A lo es y B no lo es; Negación: disyunción exclusiva; NAND lógica; Conjunción lógica; Lógica bicondicional; Función de proyección; Implicación material; Función de proyección; Implicación inversa; Disyunción lógica y tautología.
Cada uno de ellos tiene sus propios usos y propósitos, por supuesto, pero tienen una cosa en común: se logran con el uso de una o dos variables de verdadero / falso. Debido a la naturaleza simple (si no fácil de entender) de estas variables y operaciones, es posible dividir las operaciones complicadas en un pequeño conjunto de elementos: los valores verdadero / falso y las operaciones anteriores.
Usos comunes de la tabla de verdad
- Una tabla de verdad es una tabla matemática utilizada en lógica.
- Cada fila de la tabla de verdad contiene una posible configuración de las variables de entrada.
- Las tablas de verdad se pueden utilizar para probar equivalencias lógicas.
Tabla de abusos comunes de la verdad
- Las tablas de verdad comprueban si los datos de una tabla o de una base de datos son correctos.