SEARCH MATHEMATICA 8 DOCUMENTATION

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

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

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

Mathematica 組込みシンボル

BooleanMaxterms

BooleanMaxterms[k, n]
n 変数の中の k

番目の最大項を表す．

BooleanMaxterms[{k₁, k₂, ...}, n]
最大項 k_i の連言を表す．

BooleanMaxterms[{{u₁, ..., u_n}, {v₁, ...}, ...}]
指数ベクトル u_i, v_i, ...で与えられる最大項の連言を表す．

BooleanMaxterms[spec, {a₁, a₂, ...}]
spec で指定される最大項関数に対応する変数 a_i におけるブール式を返す．

BooleanMaxterms[spec, {a, a₂, ...}, form]
form で指定される形式のブール式を返す．

詳細

BooleanMaxterms[{{u₁, u₂, ...}}, {a₁, a₂, ...}]はb₁b₂...を返す．ただし，u_i がTrueのときは b_ia_i，u_iがFalseのときは b_i=¬a_i である．

u_i 等はTrue/Falseまたは1/0のどちらかである．

BooleanMaxterms[k, n]はBooleanMaxterms[{IntegerDigits[k, n, 2]}]と等価である．

BooleanMaxterms[spec]はFunctionのように振る舞うブール関数オブジェクトを返す．

BooleanMaxterms[spec][a₁, a₂, ...]は明示的ブール式BooleanMaxterms[spec, {a₁, a₂, ...}]と等価の暗示的表現を与える．

BooleanConvertはBooleanMaxterms[spec][vars]を明示的なブール式に変換する．

BooleanMaxterms[spec, {a₁, a₂, ...}, form]において可能な形式はBooleanConvertに対して与えられるものと同じである．

BooleanMaxterms[spec, {a₁, a₂, ...}]はデフォルトで式を連言標準形(Conjunctive normal form, CNF)で与える．

例題

すべて閉じる

例 (4)

同じ最大項を指定する等価な方法：

最大項の連言を指定する：

最大項の連言を指定する等価の方法：

最大項の連言を表すBooleanFunctionオブジェクトを返す：

3変数のすべての最大項を列挙する：