BooleanMaxterms

BooleanMaxterms[k,n]

n 変数の中の k 次の最大項を表す．

BooleanMaxterms[{k1,k2,…},n]

最大項 kiの連言を表す．

BooleanMaxterms[{{u1,…,un},{v1,…},…}]

指数ベクトル ui, vi, … で与えられる最大項の連言を表す．

BooleanMaxterms[spec,{a1,a2,…}]

spec で指定される最大項関数に対応する変数 aiにおけるブール式を返す．

BooleanMaxterms[spec,{a,a2,…},form]

form で指定される形式のブール式を返す．

詳細

例題

すべて開くすべて閉じる

例  (4)

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

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

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

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

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

スコープ  (1)

結果に異なる形式を指定する：

アプリケーション  (1)

∏(1,3,5)連言標準形(Clausal normal form, CNF)の式を作成する：

特性と関係  (4)

BooleanTableのデフォルトの順序では，指標はFalseの位置に対応する：

BooleanMaxtermsは任意のBooleanFunctionを表すことができる：

最大項から指標へのマッピング：

指標から最大項へのマッピング：

ビットベクトルを使う：

BooleanMaxtermsを使った可能なすべてのブール関数をSubsetsを使って列挙する：

BooleanMintermsはBooleanMaxtermsに関連している：

Wolfram Research (2008), BooleanMaxterms, Wolfram言語関数， https://reference.wolfram.com/language/ref/BooleanMaxterms.html.

テキスト

Wolfram Research (2008), BooleanMaxterms, Wolfram言語関数， https://reference.wolfram.com/language/ref/BooleanMaxterms.html.

CMS

Wolfram Language. 2008. "BooleanMaxterms." Wolfram Language & System Documentation Center. Wolfram Research. https://reference.wolfram.com/language/ref/BooleanMaxterms.html.

APA

Wolfram Language. (2008). BooleanMaxterms. Wolfram Language & System Documentation Center. Retrieved from https://reference.wolfram.com/language/ref/BooleanMaxterms.html

BibTeX

@misc{reference.wolfram_2024_booleanmaxterms, author="Wolfram Research", title="{BooleanMaxterms}", year="2008", howpublished="\url{https://reference.wolfram.com/language/ref/BooleanMaxterms.html}", note=[Accessed: 22-November-2024 ]}

BibLaTeX

@online{reference.wolfram_2024_booleanmaxterms, organization={Wolfram Research}, title={BooleanMaxterms}, year={2008}, url={https://reference.wolfram.com/language/ref/BooleanMaxterms.html}, note=[Accessed: 22-November-2024 ]}