Vereinfachen von boolschen Gleichungen
Von: , Frage gestellt am So, 10. Jun 2001
Hallo Algorythmen-Experten!
Ich bin gerade dabei, ein MFC-Programm zu schreiben, welches logische Schaltungen, Wahrheitstabellen, Funktionsgleichungen und Zeitdiagramme erstellen und untereinander umwandeln kann.
Frage:
Kennt von euch jemand Algorythmen zum Vereinfachen von boolschen Ausdrücken? Vielleicht sagen jemanden die Stichwörter "Quinn & Mc Clusky" was?
Kann mir vielleicht jemand etwas über Algorythmen zu meinem Programm sagen?
P.S.:
Zum zeitlichen analysieren meiner Schaltung, dachte ich an eine rekursiven Auflösung von den Ausgängen der Schaltung aus bis zu den Eingängen...
Danke für alle Antworten!
