TautologyQ

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

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

更多信息和选项更多信息和选项

  • TautologyQ 也叫同义反复检查和有效性检查.

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

基本范例  (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]=
2008年引入
(7.0)