El álgebra de Boole (en honor a George Boole) es una [[Estructuras algebraicas|estructura algebraica]] que **esquematiza las operaciones lógicas y permite demostrar proposiciones lógicas**. Contiene leyes que no existen en el álgebra ordinaria (que opera números) como la [[Ley de idempotencia de la suma|idempotencia de la suma]] y la [[Ley de idempotencia del producto|idempotencia del producto]]. ## Simbología - $+$ significa unión de dos clases. - $\times$ significa intersección de dos clases. - $0$ significa una clase vacía. - $1$ significa el universo. - $1 -\,$ significa el universo "sin algo". %% [[Petzold2000]] %% ## Relacionado - [[El álgebra de Boole no se trata de lógica sino de teoría de conjuntos]] - [[En álgebra booleana hay operaciones con resultados no convencionales]] #Rev/2602 #Tipo/Definición