Sinopsis
El álgebra lógica fue desarrollada a principios del siglo XIX por el matemático George Boole para investigar las leyes fundamentales en que se basa el razonamiento humano. Este álgebra tiene una característica especial:  sus variables solo pueden adoptar dos valores, tradicionalmente denominados cierto y falso (es usual representarlos con 1 y 0 respectivamente), en estos casos, ambos dígitos pueden representar cualquier par de estados, con la condición de ser mutuamente excluyentes [1]. Por esto se dice que no maneja cantidades en el sentido del resto de las matemáticas, sino valores lógicos binarios y se la denomina Álgebra o lógica binaria (o Booleana).
Los circuitos eléctricos digitales, los circuitos con fluidos (hidráulicos y neumáticos), con luz (fibra óptica) y otros, se prestan muy bien a tratar este tipo de señales, porque es fácil construir circuitos que adopten tales valores, tensión no-tensión, conectado no-conectado, abierto-cerrado, encendido, apagado etc. La adaptación del álgebra de Boole a los computadores digitales fue presentada en 1938 por Claude Shannon de los Laboratorios Bell.

Hagamos hincapié que en estos casos, las cifras 0 y 1 no representan cantidades numéricas. Son símbolos de dos estados mutuamente excluyentes. El hecho de que en este tipo de sistemas (devariables lógicas binarias) se utilice un sistema de numeración binario (de base 2), es porque al tener este sistema de numeración solo dos dígitos 0 y 1, es posible establecer una relación biunívoca entre los valores numéricos y los estados lógicos. Esta relación se hace a veces tan íntima que la distinción tiende a desdibujarse, aunque el sistema de numeración de base dos (o cualquier otra base) y la lógica binaria (representada por su álgebra) sean conceptos totalmente distintos. También son conceptos distintos los dígitos 0/1 del sistema binario y los valores cierto/falso de las variables lógicas binarias.
Existe un álgebra lógica de mas de dos estados, la lógica difusa, donde las cosas no son blancas o negras, pueden existir grados intermedios; los estados no son mutuamente exclusivos.