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!