Tabla de verdad

La tabla de verdad es un intrumento utilizado para la simplificación de circuitos digitales a través de su ecuación booleana. Las tablas de verdad pueden tener muchas columnas, pero todas las tablas funcionan de igual forma. Hay siempre una columna de salida (última columna a la derecha) que representa el resultado de todas las posibles combinaciones de las entradas. El número total de columnas en una tabla de verdad es la suma de las entradas que hay + 1 (la columna de la salida).
El número de filas de la tabla de verdad es la cantidad de combinaciones que se pueden lograr con las entradas y es igual a 2ⁿ, donde n es el número de columnas de la tabla de verdad (sin tomar en cuenta la columna de salida).
Un circuito con 3 interruptores de entrada (con estados binarios "0" o "1"), tendrá 8 posibles combinaciones. Siendo el resultado (la columna salida) determinado por el estado de los interruptores de entrada.
Los circuitos lógicos son básicamente un arreglo de interruptores, conocidos como "compuertas lógicas" (compuertas AND, NAND, OR, NOR, NOT, etc.).
Cada compuerta lógica tiene su tabla de verdad:

Operador lógico AND

x	y	resultado
true	true	true
true	false	false
false	true	false
false	false	false

Operador lógico OR

x	y	resultado
true	true	true
true	false	true
false	true	true
false	false	false

Operador lógico NOT

x	resultado
true	false
false	true