Software zum umwandeln von Logik-Gleichungen

Hallo,

kennt jemand eine Software, in die ich eine Logik-Gleichung mit 
verschiedenen Verknüpfungen wie UND ODER NOR etc. eintippen kann und 
dann z.B. als NAND Gleichung wieder ausgeben?

Quasi eine Software die De Morgansche Gesetzte und Umwandlungsgesetzte 
anwendet.

Danke für Eure Hilfe.

Gruß
Chris