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.

 

( 206 Hits )

 

  affenpuzzle     trackball     weihnachtskalender     picking     rubik_cube2     cubemap     filetools     logger     sdl_tcp_ip     openglsphere     mastermind     labyrintcreator     stereoprojektion     uuart     tippsy3     info     sprite_engine     fourier     library     piemenue     sortieren2     newton_interpolation     motionblur     tbitstream     perlin_noise     pingpong     clear_engine     send_get_file     balanced     partikelengine     hough_transformation     newton     feder_masse     socket     opengl_spriteengine     opengltruetypefont     baum     calc     opengl_graphikengine     pathfinder     mandelbrot     delforlaz     8x8x8     tokenizer     sql     simple_font     game_of_life     mauskoordinaten     farbspectrum     maw     galton_brett     dithering_filtering     transparenz     waage     binaeruhr     balanced2     gorilla     clickomania     serial     chunkmanager     portal     textur_filterung