VariousWords beta
Related Terms:
boolean function
boolean lattice
atom
distribute
and
minterm
operation
boolean ring
superatomic
switching algebra
monoid
boolean variable
consensus theorem
idempotent
values
boolean logic
not
algebraic structure
or
classical logic
element
involutory
Definitions:
Noun
Boolean logic
Boolean algebra
Definition: a system of symbolic logic devised by George Boole; used in computers
Definition: An algebraic structure (𝛴,∨,∧,∼,0,1) 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 (𝛴,∨,0) is a commutative monoid, (𝛴,∧,1) 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.)