SatisfiabilityInstances

SatisfiabilityInstances[bf]
尝试求出变量,使得布尔函数 bf 产生 True.

SatisfiabilityInstances[expr, {a1, a2, ...}]
尝试求出一个 ,使得布尔表达式 exprTrue.

SatisfiabilityInstances[b, ..., m]
尝试求出 m 个使得产生 True 的变量.

更多信息更多信息

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

基本范例 (3)基本范例 (3)

产生一个单个例子,其中布尔表达式为 true:

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

产生多个例子;在这里,仅存在两个例子:

In[3]:=
Click for copyable input
Out[3]=
In[4]:=
Click for copyable input
Out[4]=

求出一个布尔函数的 3 个例子:

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

当输入不被满足时,返回一个空表:

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 »