zur Startseite zum Inhalt zur Navigation

Bitverknüpfung

 

Dieses kleine Programm dient dazu, aussagenlogische 
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.

 

( 232 Hits )

 

  ccm     ascii     cleanup     send_get_file     torus_chess     mastermind     passbildcreator     c_libs     xml     uuart     sql     multilanguage     gorilla     library     sprite_engine     ntools     filetools     clickomania     serial     rubik_cube     weihnachtsstern     minipaint     l_system     knack     gefangenen_dilemma     proto     bitverknupfung     mauskoordinaten     tg12864b     dxtools     8x8x8     cpu_load     fouriersynthese     hilbert     numeric_instability     4_gewinnt     dcf77     info     graphen_algos     induktion     ae20125     bignumber     labyrintcreator     binomial     balanced2     screeny     screensaveblocker     mandelbrot     affenpuzzle     summe_n     copycommander     opengltruetypefont     opengl_graphikengine     balanced     ym1602c     alt_f2     jazzball     zauber     codeviewer     imageinspector     simple_cad     button_tool     file_transfer     pingpong     fakenet     formelparser