Mathematica 9 is now available
SEARCH MATHEMATICA 8 DOCUMENTATION
THIS IS DOCUMENTATION FOR AN OBSOLETE PRODUCT.
SEE THE DOCUMENTATION CENTER FOR THE LATEST INFORMATION.
Mathematica > 数学とアルゴリズム > 離散数学 > ブール計算 >
Mathematica > 数学とアルゴリズム > 論理演算とブール代数 > ブール計算 >
Mathematica 組込みシンボル関連項目 »|その他 »

BooleanConvert

BooleanConvert[expr]
ブール式 expr を選言標準形に変換する．
BooleanConvert[expr, form]
ブール式 expr を指定形式に変換する．
BooleanConvert[expr, form, cond]
cond が真であるときに expr と等価である式を指定形式で求める．
  • BooleanConvert[expr, form] は expr と等価である式を生成する．
  • 使用可能な形式：
"DNF","SOP"選言標準形，積の総和
"CNF","POS"連言標準形，総和の積
"ESOP"排他的積和
"ANF"代数標準形
"NOR"2レベルの Nor と Not
"NAND"2レベルの Nand と Not
"AND"2レベルの And と Not
"OR"2レベルの Or と Not
"IMPLIES"Implies と Not
"ITE","IF"If および定数
"BFF"BooleanFunction形式
"BDT"ブール決定木
  • BooleanConvertは使用するメソッドの詳細を指定するMethodオプションをサポートする．
例題すべて閉じる
例   (3)
ブール式を選言標準形に変換する：
In[1]:=
Click for copyable input
Out[1]=
 
xXory をいくつかの一般的な形式に変換する：
In[1]:=
Click for copyable input
Out[1]=
 
xAnd(yOrz)が真であるという条件を使ってを使って xXoryXorz を変換する：
In[1]:=
Click for copyable input
Out[1]=
xAnd(yOrz)のとき，出力が入力と等しいことを示す：
In[2]:=
Click for copyable input
Out[2]=
バージョン 7 の新機能
Ask a question about this page  |  Suggest an improvement  |  Leave a message for the team