Boolean algebra
English
Etymology
Named after George Boole (1815–1864), an English mathematician, educator, philosopher and logician.
Noun
Boolean algebra (plural Boolean algebras)
- (algebra) An algebraic structure where and are idempotent binary operators, is a unary involutory operator (called "complement"), and 0 and 1 are nullary operators (i.e., constants), such that is a commutative monoid, is a commutative monoid, and distribute with respect to each other, and such that combining two complementary elements through one binary operator yields the identity of the other binary operator. (See Boolean algebra (structure)#Axiomatics.)
- The set of divisors of 30, with binary operators: g.c.d. and l.c.m., unary operator: division into 30, and identity elements: 1 and 30, forms a Boolean algebra.
- A Boolean algebra is a De Morgan algebra which also satisfies the law of excluded middle and the law of noncontradiction.
- (algebra, logic, computing) Specifically, an algebra in which all elements can take only one of two values (typically 0 and 1, or "true" and "false") and are subject to operations based on AND, OR and NOT
- (mathematics) The study of such algebras; Boolean logic, classical logic.
Synonyms
- (Specifically ...): switching algebra
Hypernyms
- Kleene algebra
- Heyting algebra
- residuated lattice
- MV-algebra
Hyponyms
- complete Boolean algebra
Derived terms
Translations
algebraic structure
|
See also
This article is issued from Wiktionary. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.