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レベルのNorNot
    "NAND"2レベルのNandNot
    "AND"2レベルのAndNot
    "OR"2レベルのOrNot
  • 一般に,特定の形式の特定の式にはいくつかの最短表現があることがある.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]=
バージョン 7 の新機能
New to Mathematica? Find your learning path »
Have a question? Ask support »