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.

 

(7556 Hits)

 

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