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.

 

(7565 Hits)

 

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