List of Boolean algebra topics

Wikipedia, the free encyclopedia - Cite This Source

This is a list of topics around Boolean algebra and propositional logic.

Articles with a wide scope and introductions

• Algebra of sets Algebra of sets
• Boolean algebra (introduction) Boolean algebra
• Boolean algebra (structure) Boolean algebra
• Boolean algebra (logic) Boolean algebra
• Field of sets Field of sets
• Logical connective logical connective
• Propositional calculus propositional calculus

Boolean functions and connectives

• Ampheck Ampheck
• Boolean algebras canonically defined Boolean algebras canonically defined
• Conditioned disjunction Conditioned disjunction
• Exclusive or Exclusive or
• Functional completeness Functional completeness
• Logical biconditional Logical biconditional
• Logical conjunction Logical conjunction
• Logical disjunction Logical disjunction
• Logical equality Logical equality
• Logical implication Logical implication
• Logical negation Logical negation
• Logical NOR Logical NOR
• Majority function Majority function
• Material conditional Material conditional
• Minimal negation operator Minimal negation operator
• Peirce arrow Peirce arrow
• Sheffer stroke Sheffer stroke
• Sole sufficient operator Sole sufficient operator
• Symmetric difference Symmetric difference
• Zhegalkin polynomial Zhegalkin polynomial

Examples of Boolean algebras

• Boolean domain Boolean domain
• Interior algebra interior algebra
• Lindenbaum–Tarski algebra Lindenbaum–Tarski algebra
• Two-element Boolean algebra Two-element Boolean algebra

Extensions and generalizations

• Complete Boolean algebra Complete Boolean algebra
• Derivative algebra (abstract algebra) Derivative algebra
• First-order logic First-order logic
• Free Boolean algebra free Boolean algebra
• Heyting algebra Heyting algebra
• Monadic Boolean algebra monadic Boolean algebra

Syntax

• Algebraic normal form Algebraic normal form
• Boolean conjunctive query Boolean conjunctive query
• Canonical form (Boolean algebra) normal form
• Conjunctive normal form Conjunctive normal form
• Disjunctive normal form Disjunctive normal form
• Formal system Formal system

Technical applications

• And-inverter graph And-inverter graph
• Logic gate logic gate

Theorems and specific laws

• Boolean prime ideal theorem Boolean prime ideal theorem
• Compactness theorem compactness theorem
• Consensus theorem Consensus theorem
• De Morgan's laws de Morgan's laws
• Duality (order theory) duality
• Laws of classical logic Laws of classical logic
• Peirce's law Peirce's law
• Stone's representation theorem for Boolean algebras Stone's representation theorem for Boolean algebras

People

• Boole, George George Boole
• De Morgan, Augustus Augustus De Morgan
• Jevons, William Stanley William Stanley Jevons
• Peirce, Charles Sanders Charles Peirce
• Stone, Marshall Harvey Marshall Harvey Stone
• Venn, John John Venn
• Zhegalkin, Ivan Ivanovich Ivan Ivanovich Zhegalkin

Philosophy

• Boole's syllogistic Boole's syllogistic
• Boolean implicant Implicant
• Entitative graph Entitative graph
• Existential graph Existential graph
• Laws of Form Laws of Form
• Logical graph Logical graph

Visualization

• Truth table truth table
• Johnston diagram Johnston diagram
• Karnaugh map Karnaugh map
• Venn diagram Venn diagram

Unclassified

• Boolean function Boolean function
• Boolean-valued function Boolean-valued function
• Boolean-valued model Boolean-valued model
• Boolean satisfiability problem Boolean satisfiability problem
• Characteristic function (= indicator function) Indicator function
• Espresso heuristic logic minimizer
• Logical matrix Logical matrix
• Logical value Logical value
• Stone duality Stone duality
• Stone space
• Topological Boolean algebra (disambiguation) topological Boolean algebra

Wikipedia, the free encyclopedia © 2001-2006 Wikipedia contributors (Disclaimer)
This article is licensed under the GNU Free Documentation License.
Last updated on Tuesday January 29, 2008 at 09:00:30 PST (GMT -0800)
View this article at Wikipedia.org - Edit this article at Wikipedia.org - Donate to the Wikimedia Foundation