SEARCH MATHEMATICA 8 DOCUMENTATION

THIS IS DOCUMENTATION FOR AN OBSOLETE PRODUCT.
SEE THE DOCUMENTATION CENTER FOR THE LATEST INFORMATION.

Mathematica > 数学とアルゴリズム > 離散数学 > ブール計算 >

Mathematica > 数学とアルゴリズム > 論理演算とブール代数 > ブール計算 >

Mathematica 組込みシンボル

SatisfiabilityCount

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

SatisfiabilityCount[expr, {a₁, a₂, ...}]
ブール式 expr が真となる a_i の可能な組合せの数を数える．

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

これは，真理値表のTrueの数に対応する：

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

対応する表：

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

バージョン 7 の新機能