検索結果- 英語 - 英語
検索内容:
Boolean variable
noun
Boolean function
noun
Boolean algebra
noun
(algebra)
An
algebraic
structure
(𝛴,∨,∧,∼,0,1)
where
∨
and
∧
are
idempotent
binary
operators,
∼
is
a
unary
involutory
operator
(called
"complement"),
and
0
and
1
are
nullary
operators
(i.e.,
constants),
such
that
(𝛴,∨,0)
is
a
commutative
monoid,
(𝛴,∧,1)
is
a
commutative
monoid,
∧
and
∨
distribute
with
respect
to
each
other,
and
such
that
combining
two
complementary
elements
through
one
binary
operator
yields
the
identity
of
the
other
binary
operator.
(See
Boolean
algebra
(structure)#Axiomatics.)
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.