Logic Minimizer

Logic Minimizer er en innovativ og allsidig program for å forenkle Karnaugh kart og logiske uttrykk trinnvis. Det er rettet for de som er involvert i engineering felt, mer presist digitale og formell logikk forskere og akademikere, digitale enheter konstruktører eller noen involvert med logiske uttrykk. Med sin kraftige minimalisering evner og fullverdige funksjoner, kan du arbeide med alle former for logiske uttrykk.

Spesifikasjoner:



Minimer boolsk og propositional formler opptil 24 variabler;

Konvertere boolske formler i SOP, POS og titallssystemet;

Arbeid med Karnaugh kart, sannhet bord og sett av vilkår;

Markere minimert sikt på Karnaugh Kart;

Tegn logisk krets med forskjellige typer av logiske porter;

Optimalisere forenklet boolsk formel med XOR porter;

Konvertere propositional formler i DNF og CNF;

Finn gyldigheten av propositional formler;

Støtter alle boolske og propositional operatører;

Formel-inngang Vennlig: ingen grunn til å forvandle din formel før du går inn;

Trinnvis forenkling av boolsk og propositional uttrykk

Hva er nytt i denne utgaven:..

Versjon 1.2.1 er Windows 8 kompatibel

Begrensninger :

Noen funksjoner deaktivert