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