SatisfiableQ

SatisfiableQ[bf]
如果存在变量组合,使得布尔函数 bf 产生 True,给出 True.

SatisfiableQ[expr,{a1,a2,}]
如果存在 值的组合,使得布尔表达式 expr 产生 True,给出 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]=
2008年引入
(7.0)