List of Boolean algebra topics
(Redirected from Outline of Boolean algebra)
This is a list of topics around Boolean algebra and propositional logic.
Articles with a wide scope and introductions
[edit]Boolean functions and connectives
[edit]- 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
[edit]Extensions of Boolean algebras
[edit]Generalizations of Boolean algebras
[edit]Syntax
[edit]Technical applications
[edit]Theorems and specific laws
[edit]People
[edit]Philosophy
[edit]Visualization
[edit]Unclassified
[edit]- 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
| Major fields |
| ||||
|---|---|---|---|---|---|
| Foundations | |||||
| Lists |
| ||||
