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.

 

( 241 Hits )

 

  imageinspector     basic     baum     picturerotate     gorilla     screeny     cubemap     bezier     uuart     opengl_graphikengine     tg12864b     digiman     balanced2     bmp_font     kollision     textur_filterung     pointer     genmathcalc     screensaveblocker     project_uncollector     ascii     5ermedian     button_tool     verzeichnung     proto     sudoku     shannon_fano_coding     ae20125     pingpong     projizierte_schatten     opengltruetypefont     l_system     funplay2     4_gewinnt     gefangenen_dilemma     portal     proof2e1     copycommander     race_condition     tbitstream     openglsphere     calc     io_serializer     tokenizer     bignumber     mandelbrot     fingerspeed     trackball     gedanken_leser     bigprim     maw     vedische_multiplication     hilbert     wecker     trio     laufschrift     send_get_file     dithering_filtering     sortieren2     perlin_noise     file_transfer     minipaint     rollenspiel     wuerfel     rsa     feder_masse     dcf77     ntools     bitverknupfung     picking     simple_cad     hoertest     balanced     mauskoordinaten     serial     io_adapter     codeviewer     quadtree     alt_f2     ccm     hex     wuerfelzauber     torus_chess     library     iq_block     einstein     atmegaboard     info     qprogrammer     induktion     farbspectrum     fir_iir     clear_engine     sql     parken     pathfinder     clickomania     transparenz     network_bandwidth_limiter     multilanguage     kartei     kwirk     loop     logger     jazzball     partikelengine     motionblur     anty_krypt     simple_font     zufall     network_delay     weihnachtsstern     stereoprojektion     fourier     newton_interpolation