Equivalent
Equivalent[e1,e2,…]
すべての ei が等しい場合にTrueを与える論理的等価 e1⇔e2⇔… を表す．
詳細
- Equivalent[e1,e2,…]は，StandardFormまたはInputFormでe1⇔e2⇔…として入力できる．記号⇔は
equiv
または\[Equivalent]で入力できる． - ブール関数として，Equivalent[e1,e2,…]は(e1∧e2∧⋯)∨(¬e1∧¬e2∧⋯)に等しい．
例題
すべて開く すべて閉じる例 (2)
を使って入力する：スコープ (2)
Equivalent[a, b, a, b, c]Equivalent[a, b, c, True]Equivalent[a, b, c, False]Equivalent[a, b, True, False]TraditionalFormによる表示：
Equivalent[a, b, c]//TraditionalFormアプリケーション (1)
特性と関係 (7)
2引数のEquivalentの真理値表：
BooleanTable[{x, y, Equivalent[x, y]}, {x, y}]//Grid3引数のEquivalent：
BooleanTable[{x, y, z, Equivalent[x, y, z]}, {x, y, z}]//GridBooleanConvertを用い，EquivalentをAndとOrに関して表現する：
BooleanConvert[Equivalent[a, b, c]]Impliesに関しての，Equivalentのよく知られた2引数表現：
e1 = Equivalent[a, b];
e2 = Implies[a, b] && Implies[b, a];TautologyQ[Equivalent[e1, e2]]EquivalentはBooleanCountingFunctionによって表すことができる：
equivalent[v__] :=
BooleanCountingFunction[{{0, Length[{v}]}}, Length[{v}]][v]TautologyQ[Equivalent[Equivalent@@Array[a, 5], equivalent@@Array[a, 5]]]2引数のEquivalentはXnorに等しい：
TautologyQ[Equivalent[Equivalent[a, b], Xnor[a, b]]]TautologyQ[Equivalent[Equivalent[a, b, c], Xnor[a, b, c]]]Resolveを用い，2つの方程式系が等価であることを証明する：
ForAll[{x, y}, Equivalent[x y == 1 && x ^ 2 + y ^ 2 == 2, x == y && x ^ 2 == 1]]Resolve[%]Equivalentは事実上ブール式用のEqualである：
BooleanTable[a == b == c, {a, b, c}]BooleanTable[Equivalent[a, b, c], {a, b, c}]%% == %テキスト
Wolfram Research (2008), Equivalent, Wolfram言語関数， https://reference.wolfram.com/language/ref/Equivalent.html.
CMS
Wolfram Language. 2008. "Equivalent." Wolfram Language & System Documentation Center. Wolfram Research. https://reference.wolfram.com/language/ref/Equivalent.html.
APA
Wolfram Language. (2008). Equivalent. Wolfram Language & System Documentation Center. Retrieved from https://reference.wolfram.com/language/ref/Equivalent.html