Fereastra "Minimizare QMC":

In aceasta fereastra utilizatorul are control complet asupra procesului de minimizare a functiei, care poate fi intrerupt in orice moment.

Pentru minimizare, se foloseste algoritmul QuineMcCluskey, care are doua mari faze.
Faza iterativa dureaza in general foarte putin si se obtine o functie simplificata ce acopera corect spatiul de definitie. Uneori, insa, forma obtinuta nu este cea minima. Forma minima se obtine din rezultatul primei faze din care se renunta la unii termeni, functia acoperind in continuare corect spatiul de definitie.

Partea mai grea este de a gasi care dintre termeni merita pastrati si care nu. Pentru aceasta se genereaza combinari si se incearca daca aceasta noua functie acopera corect specificatia functiei. Daca se intampla acest lucru, atunci am gasit functia minima.

Sa presupunem ca functia este pe 7 biti si intoarce 1 pentru fiecare numar prim. Prima faza determina o functie formata din 29 de termeni. Dintre acestia, sunt necesari numai 19 (numai ca noi nu stim asta, pentru asta exista programul ).

 

Cand se porneste minimizarea, programul incearca sa vada daca nu cumva ajunge un singur termen. Daca nu ajunge unu, incearca cu doi. Si asa mai departe. Operatia dureaza mai multe ore chiar si pe calculatoare performante. Sa presupunem ca aplicatia a ajuns sa incerce combinari de 29 luate cate 12 (K=12), fapt afisat in fereastra, si dintr-un motiv sau altul trebuie sa oprim procesul de minimizare. Data viitoare cand intram in fereastra putem folosi control spin (cel indicat in imagine) pentru a seta numarul K de plecare la 12.

Cand procesul de minimizare s-a terminat, analiza algoritmului si functia sunt afisate in fereastra sub forma de pagina HTML, care poate fi salvata pe disc.