List Of Boolean Algebra Topics

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

• Algebra of sets
• Boolean algebra (structure)
• Boolean algebra
• Field of sets
• Logical connective
• Propositional calculus

• 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
• Complete Boolean algebra
• Interior algebra
• Two-element Boolean algebra

• Derivative algebra (abstract algebra)
• Free Boolean algebra
• Monadic Boolean algebra

• De Morgan algebra
• First-order logic
• Heyting algebra
• Lindenbaum–Tarski 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

• 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
• 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. Please help improve this article. Unsourced material may be removed in future. Find sources: "List of Boolean algebra topics" – news · newspapers · books · scholar · JSTOR (2021) (Learn how and when to remove this template message)

0.00 (0 votes) Original source: https://en.wikipedia.org/wiki/List of Boolean algebra topics. Read more