Source Word
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.)
Japanese Meaning
ブール代数：論理演算（論理和、論理積、補集合など）により定義される代数的構造。集合や論理回路、計算理論などで用いられ、0や1を含む定数や、分配法則、冪等性など特有の公理系に基づいた体系である。
Sense（1）
(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.)
Sense（2）
（ plural ）
