THIS IS DOCUMENTATION FOR AN OBSOLETE PRODUCT.
SEE THE DOCUMENTATION CENTER FOR THE LATEST INFORMATION.

DOCUMENTATION CENTER SEARCH

Mathematica > 数学とアルゴリズム > 離散数学 > ブール計算 > Equivalent >

MATHEMATICA 組込みシンボル

Equivalent

すべての

が等しい場合にTrueを与える論理的等価

を表す．

Equivalentは，StandardFormまたはInputFormでとして入力できる．記号はEsc equiv Escまたは\[Equivalent]で入力できる．

ブール式の等価性をテストする：

Esc equiv Escを使って入力する：

ブール式の等価性をテストする：

Out[1]=

Esc equiv Escを使って入力する：

Out[1]=

自動簡約：

TraditionalFormによる表示：

異なるブール式間の等価性を証明する：

BooleanConvertを用い，EquivalentをAndとOrに関して表現する：

Impliesに関しての，Equivalentのよく知られた2引数表現：

以下は，2つの表現が本当に等価であることを証明している：

EquivalentはBooleanCountingFunctionによって表すことができる：

2引数のEquivalentはXnorに等しい：

引数がこれより多い場合は異なるプリミティブである：

Resolveを用い，2つの方程式系が等価であることを証明する：

Equivalentは事実上ブール式用のEqualである：