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