La tabla de verdad es un intrumento utilizado para la simplificacin de circuitos digitales a travs de su ecuacin 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 nmero total de columnas en una tabla de verdad es la suma de las entradas que hay + 1 (la columna de la salida).

El nmero de filas de la tabla de verdad es la cantidad de combinaciones que se pueden lograr con las entradas y es igual a 2n, donde n es el nmero de columnas de la tabla de verdad (sin tomar en cuenta la columna de salida) Ejemplo: en la siguiente tabla de verdad hay 3 columnas de entrada, entonces habrn: 23 = 8 combinaciones (8 filas) 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 lgicos son bsicamente un arreglo de interruptores, conocidos como "compuertas lgicas" (compuertas AND, NAND, OR, NOR, NOT, etc.). Cada compuerta lgica tiene su tabla de verdad. Si pudiramos ver con ms detalle la construccin de las "compuertas lgicas", veramos que son circuitos constituidos por transistores, resistencias, diodos, etc., conectados de manera que se obtienen salidas especficas para entradas especficas

La utilizacin extendida de las compuertas lgicas, simplifica el diseo y anlisis de circuitos complejos. La tecnologa moderna actual permite la construccin de circuitos integrados (ICs) que se componen de miles (o millones) de compuertas lgicas.