Definitions from Wiktionary (free Boolean algebra)
▸ noun: (algebra) A field of sets whose elements are equivalent to Boolean formulas (or, perhaps more precisely, equivalence classes of Boolean formulas). Starting with a set of n variables which are independent of each other and are called generators, the power set of this set has 2ⁿmembers which may be called atoms and are valuations of the n variables: a valuation can be considered to be a set of variables which are "true" under that valuation, or a conjunction of generators (such that variables not included in that set are included in negated form in the equivalent conjunction). Then the power set of the set of atoms yields a set of 2^(2ⁿ) members which are the elements of the said field of sets. These elements correspond to Boolean formulas: a formula can be considered to be a set of valuations which make the formula true, or a linear combination (i.e., a disjunction) of atoms.
▸ Words similar to free Boolean algebra
▸ Usage examples for free Boolean algebra
▸ Idioms related to free Boolean algebra
▸ Wikipedia articles (New!)
▸ Words that often appear near free Boolean algebra
▸ Rhymes of free Boolean algebra
▸ Invented words related to free Boolean algebra
▸ noun: (algebra) A field of sets whose elements are equivalent to Boolean formulas (or, perhaps more precisely, equivalence classes of Boolean formulas). Starting with a set of n variables which are independent of each other and are called generators, the power set of this set has 2ⁿmembers which may be called atoms and are valuations of the n variables: a valuation can be considered to be a set of variables which are "true" under that valuation, or a conjunction of generators (such that variables not included in that set are included in negated form in the equivalent conjunction). Then the power set of the set of atoms yields a set of 2^(2ⁿ) members which are the elements of the said field of sets. These elements correspond to Boolean formulas: a formula can be considered to be a set of valuations which make the formula true, or a linear combination (i.e., a disjunction) of atoms.
Similar:
Boolean algebra,
Boolean logic,
switching algebra,
Boolean function,
Boolean variable,
Stone's representation theorem,
field of quotients,
context,
universal algebra,
Boolean lattice,
more...
Opposite:
▸ Words similar to free Boolean algebra
▸ Usage examples for free Boolean algebra
▸ Idioms related to free Boolean algebra
▸ Wikipedia articles (New!)
▸ Words that often appear near free Boolean algebra
▸ Rhymes of free Boolean algebra
▸ Invented words related to free Boolean algebra