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 cualquier 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, p. Ej. A y B y una fila para cada combinación posible de las variables de entrada que sean 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.
Technipages explica la tabla de la verdad
Al filósofo austríaco Ludwig Wittgenstein generalmente se le atribuye la invención y popularización de la tabla de verdad en un libro publicado en 1921, aunque se ha descubierto que otro filósofo Charles Sanders Peirce los inventó en 1893 en un manuscrito que nunca fue publicado.
Hay 16 operaciones posibles que se pueden realizar sobre dos variables verdaderas o falsas. Estas operaciones son: Contradicción: esto siempre es falso; NOR lógico: solo es cierto cuando ni A ni B son verdaderos; No implicación inversa: es verdadera cuando B es verdadera y A es falsa; Negación: solo es verdadera cuando A es falsa, sin importar el valor de B; No implicación material: es verdadera cuando A lo es y B no lo es; Negación: disyunción exclusiva; NAND lógica; Conjunción lógica; Bicondicional lógico; 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 realizan 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: valores verdaderos / falsos y lo anterior operaciones.
Usos comunes de la tabla de la 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 usos incorrectos comunes de la verdad
- Las tablas de verdad verifican si los datos de una tabla o base de datos son correctos.