Enable JavaScript to interact with content and submit forms on Wolfram websites. Learn how

Equivalent

Equivalent[e₁,e₂,…]

表示逻辑等式 e₁⇔e₂⇔…，当所有 e_i 相等时，给出 True.

更多信息

Equivalent[e₁,e₂,…] 在 StandardForm 和 InputForm 中输入形式为 e₁⇔e₂⇔…. 字符 ⇔ 可以输入为 equiv 或 \[Equivalent].
作为一个布尔函数，Equivalent[e₁,e₂,…] 等价于 (e₁∧e₂∧⋯)∨(¬e₁∧¬e₂∧⋯).

范例

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

基本范例 (2)

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

用 equiv 输入：

范围 (2)

自动化简：

TraditionalForm 格式：

应用 (1)

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

属性和关系 (7)

二元 Equivalent 的真值表：

三元 Equivalent：

用 BooleanConvert 按照 And 和 Or 表示 Equivalent：

按照 Implies 表示二元 Equivalent：

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

Equivalent 可以按照 BooleanCountingFunction 表示：

二元 Equivalent 等价于 Xnor：

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

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

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

顶部