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.

 

(7566 Hits)

 

  wii_headtrack     funplay2     textfilter     hilbert     serial     xml     4_wins     gefangenen_dilemma     bignumber     partikelengine     sudoku     alt_f2     sprite_engine     ym1602c     mandelbrot     imageinspector     exp_func     bezier     farbspectrum     cubemap     picking     fourier     transparenz     fingerspeed     episodenmanager     dxtools     puzzle     fouriersynthese     baum     knack     balanced2     uuart     proto     2048     perlin_noise     balanced     desktop_lock     clear_engine     cleanup     passbildcreator     trio     tetris     pentago     pointer     gedanken_leser     simple_cad     feder_masse     fir_iir     trackball     dcf77     weihnachtskalender     diffusionsfilter     binomial     boxmuller     dithering_filtering     tbitstream     td     send_get_file     parken     simpleray     ccm     greenfoot     steganographie     matrix     filetools     hex     copycommander     codecounter     loop     qprogrammer     screeny     iq_block     openglsphere     c_libs     bww     sortieren2     dcommenter     generische_liste     induktion     ascii     atmegaboard     gebmanager     weihnachtsstern     wuerfelzauber     ntools     schachprobleme     proof2e1     wuerfel     nsudoku     rubik_cube     opengl_spriteengine     mastermind     bmp_font     picam     8x8x8     reihen     numeric_instability     winkonfig     network_listener     turing_maschine     fakenet     piemenue     wii_whiteboard     hoertest     tippsy3     calender     cpu_load     gorilla     delforlaz     wecker     vokabel     ae20125     zauber     shannon_fano_coding     screensaveblocker     zufall     tg12864b     rollenspiel     projizierte_schatten     3d_puzzle     io_serializer     crc     klab     euler     suchen_dialog     netzwerkprotokol     verzeichnung     stm     codeviewer     network_bandwidth_limiter     torus_chess