Übersicht > Programmiersprachen > C > Wahrheitstafeln in LaTeX

Wahrheitstafeln in LaTeX

Im ersten Semester der formalen Informatik mußten wir häufig Wahrheitstafeln von bestimmten Ausdrücken ausrechnen. Das habe ich diesem Programm überlassen. Das Programm beherrscht die Ausgabeformate Plaintext und LaTeX und wertet wahlweise auch alle Teilausrücke aus. Es läuft unter Linux, Solaris, Win32.

Warnung: Das Programm enthält einige Bugs, aber ich habe keine Lust, sie zu beseitigen.

Download: formel.zip