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 of Boolean algebras
Generalizations of Boolean algebras
Syntax
- Algebraic normal form
- Boolean conjunctive query
- Canonical form (Boolean algebra)
- Conjunctive normal form
- Disjunctive normal form
- Formal system
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
| Fields |
| ||||
|---|---|---|---|---|---|
| Foundations | |||||
| Lists |
| ||||
| |||||
gollark: * logging
gollark: PotatoS really needs bettererrerer login.
gollark: I'm actually updating the potatOS sandbox initialization logic now to [REDACTED].
gollark: This includes, in fact, potatoBIOS, after recent architectural changes.
gollark: If the downloaded potatOS doesn't match the on-disk potatOS, it proceeds to download and update every potatOS file.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.