Un circuito que realiza una función de control o procesamiento en un ordenador se denomina circuito lógico. Los circuitos lógicos utilizan dos valores para una cantidad física dada para denotar los valores booleanos falso o verdadero y falso o 0 y 1. Los circuitos lógicos tienen entradas y salidas que pueden depender o no de las entradas. Al dibujar diagramas de circuitos lógicos, la conexión entre la salida de un circuito y la entrada del segundo circuito se muestra como una punta de flecha en el extremo de entrada.
El funcionamiento de los circuitos lógicos es similar al de las funciones de un lenguaje de programación. Un circuito lógico puede tener varias salidas. Las entradas son comparables a los parámetros de una función. Las salidas son similares a los valores de retorno de una función. Los dos tipos de circuitos lógicos son: Circuitos de estado y circuitos combinatorios. Los circuitos de estado, en los que la salida no sólo se basa en la entrada, sino también en las entradas históricas, son posibles gracias a la memoria integrada en el circuito. En los circuitos combinatorios, la salida se basa en los valores actuales de la entrada.