free Boolean algebra
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 offree 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.
