此为 Mathematica 7 文档,内容基于更早版本的 Wolfram 语言
查看最新文档(版本11.1)

SatisfiabilityInstances

SatisfiabilityInstances[bf]
尝试求出变量,使得布尔函数 bf 产生 True
SatisfiabilityInstances[expr, {a1, a2, ...}]
尝试求出一个 ai,使得布尔表达式 exprTrue
SatisfiabilityInstances[b, ..., m]
尝试求出 m 个使得产生 True 的变量。
产生一个单个例子,其中布尔表达式为 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 的新功能