List of Boolean algebra topics

Short description: Wikimedia list article

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

* 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

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

|

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