Two-element Boolean algebra
In mathematics and abstract algebra, the two-element Boolean algebra is the Boolean algebra whose underlying set (or universe or carrier) B is the Boolean domain. The elements of the Boolean domain are 1 and 0 by convention, so that B = {0, 1}. Paul Halmos's name for this algebra "2" has some following in the literature, and will be employed here.
- Comment
- enIn mathematics and abstract algebra, the two-element Boolean algebra is the Boolean algebra whose underlying set (or universe or carrier) B is the Boolean domain. The elements of the Boolean domain are 1 and 0 by convention, so that B = {0, 1}. Paul Halmos's name for this algebra "2" has some following in the literature, and will be employed here.
- Has abstract
- enIn mathematics and abstract algebra, the two-element Boolean algebra is the Boolean algebra whose underlying set (or universe or carrier) B is the Boolean domain. The elements of the Boolean domain are 1 and 0 by convention, so that B = {0, 1}. Paul Halmos's name for this algebra "2" has some following in the literature, and will be employed here.
- Hypernym
- Algebra
- Is primary topic of
- Two-element Boolean algebra
- Label
- enTwo-element Boolean algebra
- Link from a Wikipage to an external page
- plato.stanford.edu/entries/boolalg-math/
- www.thoralf.uwaterloo.ca/htdocs/ualg.html
- Link from a Wikipage to another Wikipage
- Abelian group
- Abstract algebra
- Algebraic structure
- Arity
- Associativity
- Axiom
- Binary operation
- Bivalent logic
- Boolean algebra
- Boolean algebra (logic)
- Boolean algebra (structure)
- Boolean algebras
- Boolean domain
- Boolean function
- Boolean semiring
- Boolean term schemata
- Bounded set
- Category:Boolean algebra
- Category:Elementary algebra
- Commutativity
- Complement (order theory)
- Concatenation
- Decidability (logic)
- Decision procedure
- De Morgan's theorem
- Distributive lattice
- Distributivity
- Duality (order theory)
- Elementary algebra
- Exponential function
- First-order logic
- First-order theory
- G. Spencer-Brown
- Lattice (order)
- Laws of Form
- Logical AND
- Logical equivalence
- Logical NOR
- Logical NOT
- Logical OR
- Map (mathematics)
- Mathematics
- Metatheorem
- One-to-one correspondence
- Operation (mathematics)
- Order of operations
- Order theory
- P = NP
- Partial order
- Paul Halmos
- Polynomial function
- Quantifier elimination
- Semiring
- Sheffer stroke
- Stanford Encyclopedia of Philosophy
- Syntax
- Unary operation
- Universal algebra
- Universe (mathematics)
- Willard Van Orman Quine
- SameAs
- 4wnNM
- Algèbre de Boole à deux éléments
- m.07pq j
- Q7858706
- Schaltalgebra
- Булева алгебра з двома елементами
- 二元素布尔代数
- Subject
- Category:Boolean algebra
- Category:Elementary algebra
- WasDerivedFrom
- Two-element Boolean algebra?oldid=1095324005&ns=0
- WikiPageLength
- 8877
- Wikipage page ID
- 2584449
- Wikipage revision ID
- 1095324005
- WikiPageUsesTemplate
- Template:Isbn
- Template:Reflist
- Template:Short description