De Morgansche Gesetze mit Software anwenden?

[tanGERra]

Hallo.

Ich suche ein Programm, welches mir eine komplizierte logische Aussage beispielsweise nur mit NAND Bausteinen realisiert.

Ich gebe ein "(nicht a) oder (nicht b)" und möchte das in NAND umgewandelt haben und es kommt "nicht (a und b)" heraus...

Nur eben für beliebig lange Ausdrücke.

Wenn möglich ein kleines freeware Tool.

Vielen Dank.