Last Updated：2025/12/04
Sentence
n個の独立した変数によって自由に生成されるブール代数は2^(2^n)個の元を持ち、それぞれがその変数の評価によって真となるブール式に対応します。
Quizzes for review
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.
See correct answer
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.
音声機能が動作しない場合はこちらをご確認ください
Related words
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.
Japanese Meaning
自由ブール代数とは、n個の独立な生成子（変数）から自由に構成されるブール代数であり、各要素がブール公式（またはその同値類）に対応する集合の体系として定義される。 / 具体的には、まずn個の生成子から原子（各原子は各変数の真偽値の割り当て、またはその対応する条件）を構成し、その原子の集合の冪集合をとることで、2^(2ⁿ)個の要素を持つ集合体としてブール代数が表現される。
Related Words
English - English
Word Edit Setting
- Users who have edit permission for words - All Users
- Screen new word creation
- Screen word edits
- Screen word deletion
- Screen the creation of new headword that may be duplicates
- Screen changing entry name
- Users authorized to vote on judging - Editor
- Number of votes required for decision - 1
Sentence Edit Setting
- Users who have edit permission for sentences - All Users
- Screen sentence deletion
- Users authorized to vote on judging - Editor
- Number of votes required for decision - 1
Quiz Edit Setting
- Users who have edit permission for quizzes - All Users
- Users authorized to vote on judging - Editor
- Number of votes required for decision - 1
