New in Wolfram Mathematica 7: Industrial-Strength Boolean Computation ◄ previous | next ►
Handle Large Boolean Expressions
Generate a conjunction of 500 random disjunctions of 6 literals in 12 variables, and convert it to DNF.
In[1]:=

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

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

SeedRandom[0];

expr = And @@ Table[Or @@ RandomSample[lits, 6], {500}];

Style[TraditionalForm[BooleanConvert[expr]], 6]
Out[1]=