List of Boolean algebra topics

This is a list of topics around Boolean algebra and propositional logic.

• Algebra of sets
• Boolean algebra (structure)
• Boolean algebra
• Field of sets
• Logical connective
• Propositional calculus

• Ampheck
• Analysis of Boolean functions
• Balanced Boolean function
• Bent function
• Boolean algebras canonically defined
• Boolean function
• Boolean matrix
• Boolean-valued function
• Conditioned disjunction
• Evasive Boolean function
• Exclusive or
• Functional completeness
• Logical biconditional
• Logical conjunction
• Logical disjunction
• Logical equality
• Logical implication
• Logical negation
• Logical NOR
• Majority function
• Material conditional
• Minimal axioms for Boolean algebra
• Peirce arrow
• Read-once function
• Sheffer stroke
• Sole sufficient operator
• Symmetric Boolean function
• Symmetric difference
• Zhegalkin polynomial

• Boolean domain
• Complete Boolean algebra
• Interior algebra
• Two-element Boolean algebra

• Derivative algebra (abstract algebra)
• Free Boolean algebra
• Monadic Boolean algebra

• De Morgan algebra
• First-order logic
• Heyting algebra
• Lindenbaum–Tarski algebra
• Skew Boolean algebra

• Algebraic normal form
• Boolean conjunctive query
• Canonical form (Boolean algebra)
• Conjunctive normal form
• Disjunctive normal form
• Formal system

• And-inverter graph
• Logic gate
• Boolean analysis

• Boolean prime ideal theorem
• Compactness theorem
• Consensus theorem
• De Morgan's laws
• Duality (order theory)
• Laws of classical logic
• Peirce's law
• Stone's representation theorem for Boolean algebras

• Boole, George
• De Morgan, Augustus
• Jevons, William Stanley
• Peirce, Charles Sanders
• Stone, Marshall Harvey
• Venn, John
• Zhegalkin, Ivan Ivanovich

• Boole's syllogistic
• Boolean implicant
• Entitative graph
• Existential graph
• Laws of Form
• Logical graph

• Truth table
• Karnaugh map
• Venn diagram

• Boolean function
• Boolean-valued function
• Boolean-valued model
• Boolean satisfiability problem
• Boolean differential calculus
• Indicator function (also called the characteristic function, but that term is used in probability theory for a different concept)
• Espresso heuristic logic minimizer
• Logical matrix
• Logical value
• Stone duality
• Stone space
• Topological Boolean algebra