Digital-Logik berechnen

Ich suche ein Programm mit dem man Logikfunktionen berechnen kann. Auf dem Papier geht das ja mit Zustandsdiagramm und KV-Tafeln, welche Programme gibts dafür auf PC?
Mich interessiert rein die mathematische Seite, es muss nicht geeignet sein um einen IC zu programmieren.

Workbench
Hey,
als Demo-Version hatte ich vor Jahren mal das elektronik-Programm Workbench. Dort konnten u.a. Digitalschaltungen am PC getestet werden.

Auch konnte man eine Wahrheitstabelle eingeben. Das Programm gab dann dazu die Formel aus.

Also im Internet nach Workbench suchen.

Tschau Karl

Ich suche ein Programm mit dem man Logikfunktionen berechnen
kann. Auf dem Papier geht das ja mit Zustandsdiagramm und
KV-Tafeln, welche Programme gibts dafür auf PC?
Mich interessiert rein die mathematische Seite, es muss nicht
geeignet sein um einen IC zu programmieren.

Wenn es Dir um die Algorithmen geht, dann gibt es verschiedene Verfahren zur Minimierung. Einen Einsteig findest Du über eine Suchmaschiene und den Stichworten „logic minimization“. Eine deutschsprachige Fundstelle wäre z.B.

http://www-ihs.theoinf.tu-ilmenau.de/~sane/skript_ne…

Gruss

Jens