TautologyQ

TautologyQ[bf]
如果变量值的所有组合使得布尔函数 bfTrue,则给出 True.

TautologyQ[expr, {a1, a2, ...}]
如果 值的所有组合使得布尔表达式 exprTrue,则给出 True.

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

基本范例 (2)基本范例 (2)

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

In[1]:=
Click for copyable input
Out[1]=
In[2]:=
Click for copyable input
Out[2]=

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

In[1]:=
Click for copyable input
Out[1]=
In[2]:=
Click for copyable input
Out[2]=
版本 7 的新功能
New to Mathematica? Find your learning path »
Have a question? Ask support »