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.

 

(7546 Hits)

 

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