Programm zum Minimieren von Logik-Schaltungen?

Hallo,

gibts ein Programm, was mir das minimieren von logischen Schaltungen abnimmt? Also praktisch das macht, was ich per Hand in einem KV-Diagramm o.ä. erledige? Hab ma bissl gegoogelt, aber nix gefunden. Sowas gibts doch sicher. Am coolsten wäre die Eingabe der Wahrheitstabelle und die Ausgabe der boolschen Gleichung in minimierter Form je nach Vorgabe (NOR, NAND usw.)
Hat jemand ma sowas gesehn? Weil ab 4 Variablen wirds dann stressig im Kopf zu machen.

Das sollte jedes anständige Mathematikprogramm ohne weiteres können, würd ich mal sagen. Auch wenn das ein Bisschen zweckentfremdet ist

Degi