New in Wolfram Mathematica 7: Industrial-Strength Boolean Computation ◄ previous | next ►
Convert between Boolean Expression Formats
Convert a Boolean expression into several standard formats.
In[1]:=

Click for copyable input
Grid[{#, BooleanConvert[

      Implies[Xor[a, b, c, d, e], 

       Nand[a && b, c || d || ! e]], #]} & /@ {"CNF", "DNF", "ANF", 

    "NAND", "NOR", "ESOP", "AND", "OR", "IMPLIES", "ITE", "BDT"}, 

  Frame -> All, Spacings -> {1, 2}, 

  Background -> LightYellow] // TraditionalForm
Out[1]//TraditionalForm=