SEARCH MATHEMATICA 8 DOCUMENTATION

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

Mathematica > 数学和算法 > 离散数学 > 布尔运算 >

Mathematica > 数学和算法 > 逻辑和布尔代数 > 布尔运算 >

Mathematica 内置符号

Equivalent

Equivalent[e₁, e₂, ...]
表示逻辑等式

，当所有 e_i 相等时，给出 True。

Equivalent[e₁, e₂, ...] 在 StandardForm 和 InputForm 中输入形式为 e₁e₂...。字符可以输入为s Esc equiv Esc 或 \[Equivalent]。

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

用 Esc eq Esc 输入：

7 的新功能