Bitverknüpfung
Formeln zu untersuchen.
Das Programm erstellt eine Wahrheitstabelle aus
einer eingegebenen Formel. Alle Standard-
Verknüpfungen ( UND , ODER , 1 , 0 , XOR,
Implikation, Äquivalenz .. ) werden unterstützt.
Es sind ebenfalls Beispiele zur Eingabe vorhanden.
Es können sogar KV-Diagramme erstellt werden
(allerdings nur bis zu einer Anzahl von 6 Variablen).
Ebenfalls stehen diverse graphische Hilfsmittel zur
Verfügung, und das Berechnen und Anzeigen von nur "0"
oder "1" Ergebnissen ist möglich.
Für alle Studenten der Uni Stuttgart ( Es gibt auch
ein Import-Export-Modul für Limboole ).
!! Neu !!
Bitverknüpfung wurde nach Lazarus portiert.
Auf Anfrage kann die Linux 32Bit Binary zugesandt
werden.
(7589 Hits)