Mathematica 9 is now available
THIS IS DOCUMENTATION FOR AN OBSOLETE PRODUCT.
SEE THE DOCUMENTATION CENTER FOR THE LATEST INFORMATION.
Wolfram Mathematica Documentation Center
DOCUMENTATION CENTER SEARCH
New to Mathematica? Find your learning path »
Mathematica > 数学とアルゴリズム > 離散数学 > ブール計算 > BooleanMaxterms >
Mathematica > 数学とアルゴリズム > 論理演算とブール代数 > ブール計算 > BooleanMaxterms >
Mathematica > 数学とアルゴリズム > グラフとネットワーク > グラフプログラミング > ブール計算 > BooleanMaxterms >
MATHEMATICA 組込みシンボル関連項目 »|その他 »

BooleanMaxterms

BooleanMaxterms
n 変数の中の k 次の最大項を表す．
BooleanMaxterms
最大項 の連言を表す．
BooleanMaxterms
指数ベクトル , , ... で与えられる最大項の連言を表す．
BooleanMaxterms
spec で指定される最大項関数に対応する変数 におけるブール式を返す．
BooleanMaxterms
form で指定される形式のブール式を返す．
詳細
  • 等はTrue/Falseまたは/のどちらかである．
  • BooleanMaxtermsはデフォルトで式を連言標準形(Conjunctive normal form, CNF)で与える．
例題すべて閉じる
例   (4)
同じ最大項を指定する等価な方法：
最大項の連言を指定する：
最大項の連言を指定する等価の方法：
最大項の連言を表すBooleanFunctionオブジェクトを返す：
3つの変数のすべての最大項を列挙する：
同じ最大項を指定する等価な方法：
In[1]:=
Click for copyable input
Out[1]=
In[2]:=
Click for copyable input
Out[2]=
In[3]:=
Click for copyable input
Out[3]=
 
最大項の連言を指定する：
In[1]:=
Click for copyable input
Out[1]=
最大項の連言を指定する等価の方法：
In[2]:=
Click for copyable input
Out[2]=
In[3]:=
Click for copyable input
Out[3]=
 
最大項の連言を表すBooleanFunctionオブジェクトを返す：
In[1]:=
Click for copyable input
Out[1]=
In[2]:=
Click for copyable input
Out[2]=
In[3]:=
Click for copyable input
Out[3]=
 
3つの変数のすべての最大項を列挙する：
In[1]:=
Click for copyable input
Out[1]=
スコープ   (1)
結果に異なる形式を指定する：
アプリケーション   (1)
連言標準形(Clausal normal form, CNF)の式を作成する：
特性と関係   (4)
BooleanTableのデフォルトの順序では，指標はFalseの位置に対応する：
BooleanMaxtermsは任意のBooleanFunctionを表すことができる：
最大項から指標へのマッピング：
指標から最大項へのマッピング：
ビットベクトルを使う：
BooleanMaxtermsを使った可能なすべてのブール関数をSubsetsを使って列挙する：
BooleanMintermsはBooleanMaxtermsに関連している：
バージョン 7 の新機能
Ask a question about this page  |  Suggest an improvement  |  Leave a message for the team
フォーマット:   HTML  |  CDF