Este documento describe las álgebras de Boole. Define una álgebra como un conjunto con operaciones de suma y producto que cumplen ciertas propiedades. Un álgebra de Boole es un álgebra que además tiene un complementario para cada elemento. Se dan ejemplos como los subconjuntos de un conjunto, las proposiciones lógicas y los circuitos digitales. También se define el álgebra libre generada por un conjunto, los morfismos de álgebras y los ideales.