List of Boolean algebra topics
From Wikipedia, the free encyclopedia
- Algebra of sets
- Ampheck
- And-inverter graph
- Boole, George
- Boolean algebra
- Boolean algebras canonically defined
- Boolean domain
- Boolean function
- Boolean logic
- Boolean implicant
- Boolean prime ideal theorem
- Boolean-valued function
- Boolean-valued model
- Boolean satisfiability problem
- Boole's syllogistic
- Canonical form (Boolean algebra)
- Characteristic function
- Compactness theorem
- Complete Boolean algebra
- Consensus theorem
- De Morgan, Augustus
- De Morgan's laws
- Duality (order theory)
- Entitative graph
- Existential graph
- First-order logic
- Formal system
- Free Boolean algebra
- Heyting algebra
- Indicator function
- Interior algebra
- Jevons, William Stanley
- Johnston diagram
- Karnaugh map
- Laws of Form
- Lindenbaum–Tarski algebra
- Logic gate
- Logical connective
- Logical graph
- Logical matrix
- Logical value
- Minimal negation operator
- Monadic Boolean algebra
- Peirce, Charles Sanders
- Peirce's law
- Propositional calculus
- Sole sufficient operator
- Stone, Marshall Harvey
- Stone duality
- Stone's representation theorem for Boolean algebras
- Stone space
- Topological Boolean algebra
- Truth table
- Two-element Boolean algebra
- Venn, John
- Venn diagram
- Zeroth-order logic