Mathematica > 数学とアルゴリズム > 離散数学 > ブール計算 > BooleanMinimize
Mathematica > 数学とアルゴリズム > 論理演算とブール代数 > ブール計算 > BooleanMinimize
Mathematica > 数学とアルゴリズム > グラフとネットワーク > グラフプログラミング > ブール計算 > BooleanMinimize
MATHEMATICA 組込みシンボル

BooleanMinimize

BooleanMinimize[expr]
expr の表現の最も短い選言標準形を求める．

BooleanMinimize[expr, form]
expr の最も短い表現を指定形式で求める．

BooleanMinimize[expr, form, cond]
cond が真であるとき，expr と等価である最も短い式を指定形式で求める．

詳細とオプション詳細とオプション

  • BooleanMinimize[expr, form]は常に expr と等価である式を生成する．
  • 使用可能な形式：
  • "DNF","SOP"選言標準形，積の総和
    "CNF","POS"連言標準形，総和の積
    "ANF"代数標準形
    "NOR"2レベルのNorとNot
    "NAND"2レベルのNandとNot
    "AND"2レベルのAndとNot
    "OR"2レベルのOrとNot
  • 一般に，特定の形式の特定の式にはいくつかの最短表現があることがある．BooleanMinimizeはその内の1つを与える．
  • BooleanMinimizeは使用するメソッドの詳細を指定するMethodオプションをサポートする．

例題例題すべて開くすべて閉じる

例 (2)例 (2)

最小の選言標準形を求める：

In[1]:=
Click for copyable input
Out[1]=

選言標準形によるブールの数え上げ関数：

In[1]:=
Click for copyable input
Out[1]=

最短の選言標準形を求める：

In[2]:=
Click for copyable input
Out[2]=

スコープ (2)スコープ (2)

アプリケーション (1)アプリケーション (1)

特性と関係 (4)特性と関係 (4)

トップへ
バージョン 7 の新機能
Send Feedback
Mathematica 9 is now available!

400+ new features, including the new Wolfram Predictive Interface, social network analysis, enterprise CDF deployment, and more »

Try Now
Buy/Upgrade
New to Mathematica? Find your learning path »
Have a question? Ask support »