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 > 数学とアルゴリズム > 離散数学 > ブール計算 > BooleanMinterms >
Mathematica > 数学とアルゴリズム > 論理演算とブール代数 > ブール計算 > BooleanMinterms >
Mathematica > 数学とアルゴリズム > グラフとネットワーク > グラフプログラミング > ブール計算 > BooleanMinterms >
MATHEMATICA 組込みシンボル関連項目 »|その他 »

BooleanMinterms

BooleanMinterms
n 変数の中の k 次の最小項を表す．
BooleanMinterms
最小項 の選言を表す．
BooleanMinterms
指数ベクトル , , ... で与えられる最小項の選言を表す．
BooleanMinterms
spec で指定される最小項関数に対応する変数 におけるブール式を返す．
BooleanMinterms
form で指定される形式のブール式を返す．
詳細
  • 等はTrue/Falseまたは/のどちらかである．
  • BooleanMintermsはデフォルトで式を選言標準形(Disjunctive normal form, DNF)で与える．
例題すべて閉じる
例   (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)
異なる形の結果を指定する：
特性と関係   (4)
BooleanTableのデフォルト順におけるTrueの位置に対応する指標：
BooleanMintermsは任意のBooleanFunctionを表すことができる：
最小項から指標へのマッピング：
指標から最小項へのマッピング：
ビットベクトルを使う：
BooleanMintermsを使ったすべての可能なブール関数をSubsetsを使って列挙する：
BooleanMaxtermsはBooleanMintermsに関連している：
バージョン 7 の新機能
Ask a question about this page  |  Suggest an improvement  |  Leave a message for the team
フォーマット:   HTML  |  CDF