BUILT-IN MATHEMATICA SYMBOL

BooleanMinimize

BooleanMinimize[expr]
finds a minimal-length disjunctive normal form representation of expr.

BooleanMinimize[expr, form]
finds a minimal-length representation for expr in the specified form.

BooleanMinimize[expr, form, cond]
finds a minimal-length expression in the specified form that is equivalent to expr when cond is true.

Details and Options Details and Options

	"DNF","SOP"	disjunctive normal form, sum of products
	"CNF","POS"	conjunctive normal form, product of sums
	"ANF"	algebraic normal form
	"NOR"	two-level Nor and Not
	"NAND"	two-level Nand and Not
	"AND"	two-level And and Not
	"OR"	two-level Or and Not

In general, there may be several minimal-length representations for a particular expression in a certain form. BooleanMinimize gives one of them.
BooleanMinimize supports a Method option that specifies the detailed method to use.