Logic Minimizer

Logic Minimizer er en innovativ, alsidig ansøgning om at forenkle Karnaugh kort og logiske udtryk trin for trin. Det er gearet til de involverede i tekniske områder, mere præcist digitale og formelle logik forskere og akademikere, digitale enheder konstruktører eller nogen involveret med logiske udtryk. Med sin kraftfulde minimering kapaciteter og fuldgyldigt funktioner, kan du arbejde med alle former for logiske udtryk.

Funktioner:



Minimer Boolesk og propositional formler op til 24 variabler;

Konverter booleske formler i SOP, POS og decimal notation;

Arbejde med Karnaugh kort, sandhed bord og sæt vilkår;

Fremhæv minimeret sigt på Karnaugh Kort;

Tegn logiske kredsløb med forskellige typer af logiske gates;

Optimer forenklet boolsk formel med XOR porte;

Konverter propositional formler i DNF og CNF;

Find gyldighed propositional formler;

Støtte alle Boolske og propositional operatører;

Formula-input-venlige: ingen grund til at omdanne din formel inden de kommer ind;

Trin for trin forenkling af Boolesk og propositional udtryk

Hvad er nyt i denne udgivelse:..

Version 1.2.1 er Windows 8 kompatibel

Begrænsninger :

Nogle handicappede funktioner