 ##  [Boolean Algebra](/boolean-algebra) 

  ##  [Boolean Algebra](https://natural.quantumdictionary.io/boolean-algebra-0) 

  
 [![Natural & Formal Sciences Dictionary](/sites/default/files/styles/large/public/2026-01/Natural%20%26%20Formal%20Sciences.png.webp?itok=2kCDRVQv)](/topic-specific-dictionaries/natural-formal-sciences)


**Natural &amp; Formal Sciences Dictionary**

 
Definition

A complemented distributive lattice with binary meet (∧) and join (∨), unary complement (¬), and distinguished least (0) and greatest (1) elements, satisfying distributivity, complement laws (x ∨ ¬x = 1, x ∧ ¬x = 0), and De Morgan identities.

 
 ##  [Boolean Algebra](https://mathlogic.quantumdictionary.io/boolean-algebra-1) 

  
 [![Mathematics & Logic Dictionary](/sites/default/files/styles/large/public/2026-01/Mathematics%20%26%20Logic.png.webp?itok=UhtTRPnp)](/topic-specific-dictionaries/natural-formal-sciences/mathematics-logic)

- Natural &amp; Formal Sciences -

**Mathematics &amp; Logic Dictionary**

 
Definition

A complemented distributive lattice with a greatest and least element, providing algebraic operations corresponding to logical conjunction, disjunction, and negation.

 
 ##  [Boolean Algebra](https://puremath.quantumdictionary.io/boolean-algebra-2) 

  
 [![Pure Mathematics Dictionary](/sites/default/files/styles/large/public/2026-01/Pure%20Mathematics.png.webp?itok=5pZnFQ59)](/topic-specific-dictionaries/mathematics-logic/pure-mathematics)

- Mathematics &amp; Logic -

**Pure Mathematics Dictionary**

 
Definition

A distributive bounded lattice (with top 1 and bottom 0) in which every element a has a complement a' satisfying a ∧ a' = 0 and a ∨ a' = 1; an algebraic structure modelling classical propositional logic and set operations.