 |
BooleanMinterms
BooleanMinterms[k, n]
n 変数の中の k
次の最小項を表す．
BooleanMinterms[{k1, k2, ...}, n]
最小項 
の選言を表す．
BooleanMinterms[{{u1, ..., un}, {v1, ...}, ...}]
指数ベクトル 
, 
, ... で与えられる最小項の選言を表す．
BooleanMinterms[spec, {a1, a2, ...}]
spec で指定される最小項関数に対応する変数 
におけるブール式を返す．
BooleanMinterms[spec, {a, a2, ...}, form]
form で指定される形式のブール式を返す．
詳細
- BooleanMinterms[{{u1, u2, ...}}, {a1, a2, ...}]は
を返す．ただし，
がTrueのときは
，
がFalseのときは 
である． 
等はTrue/Falseまたは
/
のどちらかである．- BooleanMinterms[k, n]はBooleanMinterms[{IntegerDigits[k, n, 2]}]と等価である．
- BooleanMinterms[spec]はFunctionのように振る舞うブール関数オブジェクトを返す．
- BooleanMinterms[spec][a1, a2, ...]は明示的ブール式BooleanMinterms[spec, {a1, a2, ...}]と等価の暗示的表現を与える．
- BooleanConvertはBooleanMinterms[spec][vars]を明示的なブール式に変換する．
- BooleanMinterms[spec, {a1, a2, ...}, form]において可能な形式はBooleanConvertに対して与えられるものと同じである．
- BooleanMinterms[spec, {a1, a2, ...}]はデフォルトで式を選言標準形(Disjunctive normal form, DNF)で与える．
バージョン 7 の新機能
