SatisfiableQ

SatisfiableQ[bf]
ブール関数 bfTrueを与える変数値の組合せが存在するときにTrue を返す.

SatisfiableQ[expr,{a1,a2,}]
ブール式 exprTrueを与える の値の組合せが存在するときにTrueを返す.

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

  (2)  (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]=
2008年に導入
(7.0)