Mathematica 9 is now available
SEARCH MATHEMATICA 8 DOCUMENTATION
THIS IS DOCUMENTATION FOR AN OBSOLETE PRODUCT.
SEE THE DOCUMENTATION CENTER FOR THE LATEST INFORMATION.
Mathematica > 数学とアルゴリズム > 離散数学 > ブール計算 >
Mathematica > 数学とアルゴリズム > 論理演算とブール代数 > ブール計算 >
Mathematica 組込みシンボル関連項目 »|その他 »

SatisfiabilityInstances

SatisfiabilityInstances[bf]
ブール関数 bf がTrueを返す変数を見付けようとする．
SatisfiabilityInstances[expr, {a1, a2, ...}]
ブール式 expr がTrueを返すような ai を見付けようとする．
SatisfiabilityInstances[b, ..., m]
Trueを返す変数を m 通り見付けようとする．
例題すべて閉じる
例   (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 の新機能
Ask a question about this page  |  Suggest an improvement  |  Leave a message for the team