List of Boolean algebra topics

Short description: none

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

## Contents

* 1 Articles with a wide scope and introductions
* 2 Boolean functions and connectives
* 3 Examples of Boolean algebras
* 4 Extensions of Boolean algebras
* 5 Generalizations of Boolean algebras
* 6 Syntax
* 7 Technical applications
* 8 Theorems and specific laws
* 9 People
* 10 Philosophy
* 11 Visualization
* 12 Unclassified

## 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
* 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
* 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

* Boolean domain
* Complete Boolean algebra
* Interior algebra
* Two-element Boolean algebra

## Extensions of Boolean algebras

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

## Generalizations of Boolean algebras

* De Morgan algebra
* First-order logic
* Heyting algebra
* Lindenbaum–Tarski algebra
* Skew Boolean algebra

## Syntax

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

## Technical applications

* And-inverter graph
* Logic gate
* Boolean analysis

## 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

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

## Visualization

* Truth table
* Karnaugh map
* Venn diagram

## 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

* v
* t
* e

Logic

* Outline
* History

Fields|

* Computer science
* Inference
* Philosophy of logic
* Proof
* Semantics
* Syntax

| Logics|

* Classical
* Informal
* Critical thinking
* Reason
* Mathematical
* Non-classical
* Philosophical

|

Theories|

* Argumentation
* Metalogic
* Metamathematics
* Set

Foundations|

* Abduction
* Analytic and synthetic propositions
* Contradiction
* Paradox
* Antinomy
* Deduction
* Deductive closure
* Definition
* Description
* Entailment
* Linguistic
* Form
* Induction
* Logical truth
* Name
* Necessity and sufficiency
* Premise
* Probability
* Reference
* Statement
* Substitution
* Truth
* Validity

Lists|

| topics|

* Mathematical logic
* Boolean algebra
* Set theory

|

other|

* Logicians
* Rules of inference
* Paradoxes
* Fallacies
* Logic symbols

*   * Category
* WikiProject (talk)
* changes

Template:Order theory

0.00

(0 votes)

Original source: https://en.wikipedia.org/wiki/List of Boolean algebra topics. Read more

|

Retrieved from "https://handwiki.org/wiki/index.php?title=List_of_Boolean_algebra_topics&oldid=4535766"
*[v]: View this template
*[t]: Discuss this template
*[e]: Edit this template