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]=
2008年に導入
(7.0)