This is a list of topics around Boolean algebra and propositional logic.
Articles with a wide scope and introductions Algebra of sets Boolean algebra (structure) Boolean algebra Field of sets Logical connective Propositional calculus
Boolean functions and connectives 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
Examples of Boolean algebras Boolean domain Complete Boolean algebra Interior algebra Two-element Boolean algebra
Extensions of Boolean algebras Derivative algebra (abstract algebra) Free Boolean algebra Monadic Boolean algebra
Generalizations of Boolean algebras De Morgan algebra First-order logic Heyting algebra Lindenbaum–Tarski algebra Skew Boolean algebra
Syntax Algebraic normal form Boolean conjunctive query Canonical form (Boolean algebra) Conjunctive normal form Disjunctive normal form Formal system
Technical applications And-inverter graph Logic gate Boolean analysis
Theorems and specific laws 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
People Boole, George De Morgan, Augustus Jevons, William Stanley Peirce, Charles Sanders Stone, Marshall Harvey Venn, John Zhegalkin, Ivan Ivanovich
Philosophy Boole's syllogistic Boolean implicant Entitative graph Existential graph Laws of Form Logical graph
Visualization Truth table Karnaugh map Venn diagram
Unclassified 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