Álgebra de Boole
Se conoce como Álgebra de Boole o Álgebra Booleana toda clase o conjuntos de elementos que toman dos valores perfectamente diferenciados y que se designan por 0 y 1, y que están relacionados por dos operaciones binarias denominadas AND (^) y OR (v). Inicialmente fue un intento de utilizar las técnicas algebraicas para tratar expresiones de la lógica proposicional. Actualmente se aplica de forma generalizada en el ámbito del diseño electrónico. Fue George Boole (1815 – 1864), un matemático inglés, quien propuso un esquema o sistema para la expresión simplificada de problemas lógicos a través de dos estados (falso o verdadero) mediante un procedimiento matemático.
El álgebra booleana se basa en nociones algebraicas para el tratamiento de enunciados de la lógica proposicional. Las operaciones habituales son las binarias, las que necesitan dos argumentos. Se llama conjunción lógica al resultado verdadero que se obtiene cuando los dos enunciados son verdaderos: si A es verdadero y B es verdadero, la conjunción de A y B será verdadera.
Físicamente existen varios conjuntos que poseen dos operaciones binarias que cumplen los postulados del Álgebra Booleana, como el álgebra de proposiciones o juicios formales, y el álgebra de la conmutación, que también está formada por elementos que pueden tener dos valores perfectamente diferenciados. Los primeros circuitos de conmutación o lógicos que se utilizaron fueron los contactos que se pueden utilizar para memorizar con sencillez las Leyes del Álgebra de Boole. El OR puede asimilarse con la conexión en paralelo y el AND con una conexión serial.
