New in Wolfram Mathematica 7: Industrial-Strength Boolean Computation  previous | next 
Generate a Boolean Function from a Truth Table
Generate a random truth table and convert it to DNF.
In[1]:=

Click for copyable input
RandomInteger[1, 2^7]
Out[1]=



In[2]:=

Click for copyable input
RandomInteger[1, 2^7];

BooleanFunction[%, Array[Subscript[x, #] &, 7]] // TraditionalForm
Out[2]//TraditionalForm=