Convert between Boolean Expression Formats

Convert a Boolean expression into several standard formats.

In[1]:=

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=