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
Boolean algebras canonically defined
Conditioned disjunction
Evasive Boolean function
Exclusive or
Functional completeness
Logical biconditional
Logical conjunction
Logical disjunction
Logical equality
Logical implication
Logical negation
Logical NOR
Lupanov representation
Majority function
Material conditional
Peirce arrow
Sheffer stroke
Sole sufficient operator
Symmetric Boolean function
Symmetric difference
Zhegalkin polynomial
Boolean domain
Interior algebra
Lindenbaum–Tarski algebra
Two-element Boolean algebra
Extensions and generalizations
Complete Boolean algebra
Derivative algebra (abstract algebra)
First-order logic
Free Boolean algebra
De Morgan algebra
Heyting algebra
Monadic Boolean 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
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
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
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
List of Boolean algebra topics Wikipedia (Text) CC BY-SA
