Hello, you have come here looking for the meaning of the word
free Boolean algebra. In DICTIOUS you will not only get to know all the dictionary meanings for the word
free Boolean algebra, but we will also tell you about its etymology, its characteristics and you will know how to say
free Boolean algebra in singular and plural. Everything you need to know about the word
free Boolean algebra you have here. The definition of the word
free Boolean algebra will help you to be more precise and correct when speaking or writing your texts. Knowing the definition of
free Boolean algebra, as well as those of other words, enriches your vocabulary and provides you with more and better linguistic resources.
English
Noun
free Boolean algebra (plural free Boolean algebras)
- (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
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
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.
References
2017 October 11, Brian Huffman, “Free Boolean Algebra”, in Archive of Formal Proofs, retrieved 2018-3-4: