# List of Boolean algebra topics

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

## Articles with a wide scope and introductions

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

## Extensions and generalizations

## Syntax

## Technical applications

## Theorems and specific laws

## People

## Philosophy

## Visualization

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

This article is issued from
Wikipedia.
The text is licensed under Creative Commons - Attribution - Sharealike.
Additional terms may apply for the media files.