English Dictionary

free Boolean algebra

名詞

(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.

日本語の意味

自由ブール代数とは、n個の独立な生成子（変数）から自由に構成されるブール代数であり、各要素がブール公式（またはその同値類）に対応する集合の体系として定義される。 / 具体的には、まずn個の生成子から原子（各原子は各変数の真偽値の割り当て、またはその対応する条件）を構成し、その原子の集合の冪集合をとることで、2^(2ⁿ)個の要素を持つ集合体としてブール代数が表現される。

A free Boolean algebra generated by n independent generators has 22n elements, each corresponding to a Boolean formula determined by the valuations of those generators.

n個の独立した変数によって自由に生成されるブール代数は2^(2^n)個の元を持ち、それぞれがその変数の評価によって真となるブール式に対応します。

意味（1）

(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.

free Boolean algebras （ plural ）