Equivalent
Equivalent
Equivalent[e1,e2,…]
表示逻辑等式 e1⇔e2⇔…，当所有 ei 相等时，给出 True.
更多信息
- 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)
二元 Equivalent 的真值表：
BooleanTable[{x, y, Equivalent[x, y]}, {x, y}]//Grid三元 Equivalent：
BooleanTable[{x, y, z, Equivalent[x, y, z]}, {x, y, z}]//Grid用 BooleanConvert 按照 And 和 Or 表示 Equivalent：
BooleanConvert[Equivalent[a, b, c]]按照 Implies 表示二元 Equivalent：
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]]]二元 Equivalent 等价于 Xnor：
TautologyQ[Equivalent[Equivalent[a, b], Xnor[a, b]]]TautologyQ[Equivalent[Equivalent[a, b, c], Xnor[a, b, c]]]用 Resolve 证明两个方程组的相等性：
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.
文本
Wolfram Research (2008)，Equivalent，Wolfram 语言函数，https://reference.wolfram.com/language/ref/Equivalent.html.
CMS
Wolfram 语言. 2008. "Equivalent." Wolfram 语言与系统参考资料中心. Wolfram Research. https://reference.wolfram.com/language/ref/Equivalent.html.
APA
Wolfram 语言. (2008). Equivalent. Wolfram 语言与系统参考资料中心. 追溯自 https://reference.wolfram.com/language/ref/Equivalent.html 年