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.

 

(7555 Hits)

 

  numeric_instability     ctools     bezier     knack     proof2e1     mandelbrot     tbitstream     reihen     proto     episodenmanager     sirpinksy     farbspectrum     matrix     textfilter     project_collector     greenfoot     l_system     c_depencies     4_wins     clickomania     tasker     hoertest     balanced     picking     pointer     calender     euler     sortieren2     picam     address_db     klab     network_listener     pwm     projizierte_schatten     generische_liste     xml     basic     fouriersynthese     picturerotate     iq_block     diffusionsfilter     button_tool     fakenet     gorilla     sdl_tcp_ip     library     vedische_multiplication     stereoprojektion     qprogrammer     lazcomment     perlin_noise     file_transfer     hilbert     io_serializer     balanced2     shannon_fano_coding     race_condition     verzeichnung     induktion     bmp_font     codecounter     copycommander     crc     fpc_depencies     info     wuerfel     pi     dithering_filtering     simple_font     tetris     weihnachtsstern     dxtools     fir_iir     c_libs     wireworld     bww     chunkmanager     tankplan     kartei     bigprim     5ermedian     stm     newton_interpolation     kwirk     gebmanager     graphen_algos     minipaint     labyrintcreator     trackball     torus_chess     cpu_load     piemenue     exp_func     mastermind     summe_n     sfxr     delforlaz     2048     ae20125     maw     3d_puzzle     heapsim     sprite_engine     serial     imageinspector     socket     funplay2     zauber     vokabel     dcommenter     laufschrift     desktop_lock     gc_solver     clear_engine     cubemap     raetsel     parken     suchen_dialog     tipp_it     screensaveblocker     winkonfig     tclockex     funkuhr     tg12864b     sql     tokenizer     wecker     opengltruetypefont     zufall     steganographie     trio     cleanup     turing_maschine     passbildcreator     sudoku     4_gewinnt     atmegaboard     jazzball     fourier     ym1602c     nsudoku     transparenz     send_get_file     openglsphere     feder_masse     alt_f2     dcf77     td     gpu_info     game_of_life     gedanken_leser     newton     rubik_cube     sortieren     wii_headtrack     tippsy3     simple_cad     loop     bignumber     puzzle     waage     wii_whiteboard     ntools     ascii     8x8x8     lzw     rubik_cube2     logger     kollision     gefangenen_dilemma     binomial     codeviewer     netzwerkprotokol     filetools     anty_krypt     binaeruhr     partikelengine     portal     network_bandwidth_limiter     rsa     screeny     ccm     wuerfelzauber