SatisfiabilityCount

SatisfiabilityCount[bf]
ブール関数 bf に引数として渡された場合にTrueを与える変数値の可能な組合せの数を数える.

SatisfiabilityCount[expr, {a1, a2, ...}]
ブール式 expr が真となる の可能な組合せの数を数える.

詳細詳細

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

例 (3)例 (3)

が真を返す場合がいくつあるか数える:

In[1]:=
Click for copyable input
Out[1]=

これは,真理値表のTrueの数に対応する:

In[2]:=
Click for copyable input
Out[2]=
In[3]:=
Click for copyable input
Out[3]=

純ブール関数で真である場合の数を数える:

In[1]:=
Click for copyable input
Out[1]=

対応する表:

In[2]:=
Click for copyable input
Out[2]=
In[3]:=
Click for copyable input
Out[3]=

2000個の変数を持つ式中の真の数を数える:

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 »