List of Boolean algebra topics
From HandWiki
Short description: Wikimedia list article
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
Examples of Boolean algebras
Extensions of Boolean algebras
Generalizations of Boolean algebras
Syntax
- Algebraic normal form
- Boolean conjunctive query
- Canonical form (Boolean algebra)
- Conjunctive normal form
- Disjunctive normal form
- Formal system
Technical applications
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
Visualization
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
This article does not cite any external source. HandWiki requires at least one external source. See citing external sources. (2021) (Learn how and when to remove this template message) |
Original source: https://en.wikipedia.org/wiki/List of Boolean algebra topics.
Read more |