WOLFRAM

Wolfram 语言与系统参考资料中心

Equivalent[e1,e2,…]

表示逻辑等式 e1⇔e2⇔…，当所有 ei 相等时，给出 True.

更多信息
Details and Options Details and Options
范例  
基本范例  
范围  
应用  
属性和关系  
参见
相关指南
历史
按以下格式引用：

Equivalent

Equivalent[e1,e2,…]

表示逻辑等式 e1⇔e2⇔…，当所有 ei 相等时，给出 True.

更多信息

范例

打开所有单元 关闭所有单元

基本范例  (2)

测试布尔表达式的相等性：

用 equiv 输入：

范围  (2)

自动化简：

TraditionalForm 格式：

应用  (1)

证明不同布尔表达式之间的相等性：

属性和关系  (7)

二元 Equivalent 的真值表：

三元 Equivalent：

用 BooleanConvert 按照 And 和 Or 表示 Equivalent：

按照 Implies 表示二元 Equivalent：

下面证明这两个表示确实是相同的：

Equivalent 可以按照 BooleanCountingFunction 表示：

二元 Equivalent 等价于 Xnor：

对于更多参数，有不同的基元：

用 Resolve 证明两个方程组的相等性：

对于布尔表达式，Equivalent 等价于 Equal：

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 年

BibTeX

@misc{reference.wolfram_2025_equivalent, author="Wolfram Research", title="{Equivalent}", year="2008", howpublished="\url{https://reference.wolfram.com/language/ref/Equivalent.html}", note=[Accessed: 30-April-2026]}

BibLaTeX

@online{reference.wolfram_2025_equivalent, organization={Wolfram Research}, title={Equivalent}, year={2008}, url={https://reference.wolfram.com/language/ref/Equivalent.html}, note=[Accessed: 30-April-2026]}