Im Wikipedia-Artikel unten sind ein paar Implementierungen verlinkt, unter anderem auch ein
Applet. Die kannst du dann dafür verwenden
Allerdings sind das lediglich die minimalen CNF-/DNF-Formeln. Beliebige Kombinationen aus and, or, xor und not könnten evt. noch zu kleineren Formeln führen.
greetz
Mike