Programm das KNF erzeugt

[Henning]

Hallo,

kennt jemand ein Programm, dass aus einen logischen Ausdruck eine KNF erzeugt und mehr als 50 Gatter und 50 Basisereignisse unterstützt. Ein für C++ geeigneter Algorithmus würde auch schon helfen.

Gruß,
Henning