This is a list of topics around Boolean algebra and propositional logic.
Articles with a wide scope and introductions edit
Boolean functions and connectives edit
- 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
- Lupanov representation
- 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 edit
Extensions of Boolean algebras edit
Generalizations of Boolean algebras edit
Syntax edit
Technical applications edit
Theorems and specific laws edit
People edit
Philosophy edit
Visualization edit
Unclassified edit
- 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