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]=
バージョン 7 の新機能
New to Mathematica? Find your learning path »
Have a question? Ask support »