SatisfiabilityInstances

SatisfiabilityInstances[bf]
ブール関数 bfTrueを返す変数を見付けようとする.

SatisfiabilityInstances[expr,{a1,a2,}]
ブール式 exprTrueを返すような を見付けようとする.

SatisfiabilityInstances[b,,m]
Trueを返す変数を m 通り見付けようとする.

詳細とオプション詳細とオプション

例題例題すべて開くすべて閉じる

  (3)  (3)

ブール式が真となる例を1つ生成する:

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

複数の例を生成する.この場合は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)