 |
SatisfiableQ
SatisfiableQ[bf]
ブール関数 bf がTrueを与える変数値の組合せが存在するときにTrue を返す．
SatisfiableQ[expr, {a1, a2, ...}]
ブール式 expr がTrueを与える 
の値の組合せが存在するときにTrueを返す．
バージョン 7 の新機能
|
SatisfiableQ[bf]
ブール関数 bf がTrueを与える変数値の組合せが存在するときにTrue を返す．
SatisfiableQ[expr, {a1, a2, ...}]
ブール式 expr がTrueを与える の値の組合せが存在するときにTrueを返す．
