検索結果- 英語 - 英語
検索内容:
consensualism
consensus trance
noun
consensus reality
consensus theorem
noun
(logic)
The
following
theorem
of
Boolean
algebra:
XY+X'Z+YZ=XY+X'Z
where
YZ,
the
algebraically
redundant
term,
is
called
the
"consensus
term",
or
its
dual
form
(X+Y)(X'+Z)(Y+Z)=(X+Y)(X'+Z),
in
which
case
Y+Z
is
the
consensus
term.
(Note:
X+Y,X'+Z⊢Y+Z
is
an
example
of
the
resolution
inference
rule
(replacing
the
+
with
∨
and
the
prime
with
prefix
¬
might
make
this
more
evident).)
loading!
Loading...