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