SEARCH MATHEMATICA 8 DOCUMENTATION

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

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

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

Mathematica 内置符号

TautologyQ

TautologyQ[bf]
如果所有变量值的组合使得 bf 产生 True，则给出 True。

TautologyQ[expr, {a₁, a₂, ...}]
如果 a_i 值的组合使得 expr 产生 True，则给出 True。

测试布尔表达式是否总是为真：

测试纯布尔函数是否总是为真：

7 的新功能