New in Wolfram Mathematica 7: Industrial-Strength Boolean Computation  previous | next 
Minimize Boolean Expressions
Minimize a randomly generated expression in disjunctive normal form.
In[1]:=

Click for copyable input
vars = Array[Subscript[x, #] &, 7];

lits = Join[vars, Not /@ vars];

SeedRandom[0];

Style[TraditionalForm[

  expr = Or @@ Table[And @@ RandomSample[lits, 5], {150}]], 6]
Out[1]=



In[2]:=

Click for copyable input
BooleanMinimize[expr]
Out[2]=