Mathematica 9 is now available
THIS IS DOCUMENTATION FOR AN OBSOLETE PRODUCT.
SEE THE DOCUMENTATION CENTER FOR THE LATEST INFORMATION.
Wolfram Mathematica Documentation Center
DOCUMENTATION CENTER SEARCH
New to Mathematica? Find your learning path »
Mathematica > 数学とアルゴリズム > 離散数学 > ブール計算 > SatisfiableQ >
Mathematica > 数学とアルゴリズム > 論理演算とブール代数 > ブール計算 > SatisfiableQ >
Mathematica > 数学とアルゴリズム > グラフとネットワーク > グラフプログラミング > ブール計算 > SatisfiableQ >
MATHEMATICA 組込みシンボル関連項目 »|その他 »

SatisfiableQ

SatisfiableQ[bf]
ブール関数 bf がTrueを与える変数値の組合せが存在するときにTrue を返す．
SatisfiableQ
ブール式 expr がTrueを与える の値の組合せが存在するときにTrueを返す．
例題すべて閉じる
例   (2)
ブール式が充足可能かどうかテストする：
純ブール関数が充足可能かどうかテストする：
ブール式が充足可能かどうかテストする：
In[1]:=
Click for copyable input
Out[1]=
In[2]:=
Click for copyable input
Out[2]=
 
純ブール関数が充足可能かどうかテストする：
In[1]:=
Click for copyable input
Out[1]=
In[2]:=
Click for copyable input
Out[2]=
特性と関係   (4)
式は，ある種の変数割当てが真となる場合に充足可能である：
変数の式はSatisfiabilityCountが0より大きい場合に充足可能である：
SatisfiabilityInstancesを使って充足可能となる厳密な場合を求める：
SatisfiableQ[f]は¬TautologyQ[¬f]に等しい：
バージョン 7 の新機能
Ask a question about this page  |  Suggest an improvement  |  Leave a message for the team
フォーマット:   HTML  |  CDF