List of Boolean algebra topics
From Wikipedia, the free encyclopedia
This is a list of topics around Boolean algebra and propositional logic.
Contents |
[edit] Articles with a wide scope and introductions
- Algebra of sets
- Boolean algebra (introduction)
- Boolean algebra (structure)
- Boolean algebra (logic)
- Field of sets
- Logical connective
- Propositional calculus
[edit] Boolean functions and connectives
- Ampheck
- Boolean algebras canonically defined
- Conditioned disjunction
- Exclusive or
- Functional completeness
- Logical biconditional
- Logical conjunction
- Logical disjunction
- Logical equality
- Logical implication
- Logical negation
- Logical NOR
- Majority function
- Material conditional
- Minimal negation operator
- Peirce arrow
- Sheffer stroke
- Sole sufficient operator
- Symmetric difference
- Zhegalkin polynomial
[edit] Examples of Boolean algebras
[edit] Extensions and generalizations
- Complete Boolean algebra
- Derivative algebra (abstract algebra)
- First-order logic
- Free Boolean algebra
- Heyting algebra
- Monadic Boolean algebra
[edit] Syntax
- Algebraic normal form
- Boolean conjunctive query
- Canonical form (Boolean algebra)
- Conjunctive normal form
- Disjunctive normal form
- Formal system
[edit] Technical applications
[edit] 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
[edit] People
- Boole, George
- De Morgan, Augustus
- Jevons, William Stanley
- Peirce, Charles Sanders
- Stone, Marshall Harvey
- Venn, John
- Zhegalkin, Ivan Ivanovich
