Logic Minimizer

Logic Minimizer är en innovativ, mångsidig ansökan om att förenkla Karnaugh kartor och logiska uttryck steg för steg. Den är anpassad för dem som deltar i ingenjörsstudier, närmare bestämt digitala och formella logiska forskare och akademiker, digitala enheter konstruktörer eller någon involverad med logiska uttryck. Med sina kraftfulla minimerings kapacitet och fullfjädrade funktioner, kan du arbeta med alla former av logiska uttryck.

Funktioner:



Minimera Boolean och proposition formler upp till 24 variabler;

Konvertera Boolean formler till SOP, POS och decimalform;

Arbeta med Karnaughdiagram, sanning bord och uppsättningar av termer;

Markera minimeras sikt på Karnaughdiagram;

Rita logikkrets med olika typer av logiska grindar;

Optimera förenklad Boolean formel med XOR grindar;

Konvertera propositional formler i DNF och CNF;

Hitta giltighet proposition formler;

Stöd alla booleska och proposition operatörer;

Formel-ingång vänliga: inget behov av att förändra din formel innan;

Steg för steg förenkling av Boolean och proposition uttryck

Vad är nytt i den här versionen:..

Version 1.2.1 är Windows 8-kompatibel

Begränsningar :

Vissa funktioner inaktive