• Optimalizace číslicových obvodů podle různých kritérií • Typicky minimalizace kriteriální funkce • Kritéria minimalizace • Velikost obvodu (počet hradel, plocha na čipu) • Zpoždění obvodu (rychlost, výkonnost) • Počet proměnných (počet vodičů) • Příkon, atd. • Model (reprezentace) logické funkce • Výraz, tabulka, graf, mapa, Vennův diagram • Metody • Algebraické, mapové, Quine-McCluskey + Petrickova funkce, Espresso, …
• Zvýrazněny jsou stavy, ve kterých jsou pravdivostní hodnoty funkce F(x,y,z) rovny log. 1 (tedy stavy 1, 3 a 6) • Stavy 1-3 se liší v jedné proměnné • Lze tedy eliminovat proměnnou, jejíž váha je rovna rozdílu hodnot příslušných stavů • 3 - 1 = 2, což odpovídá váze proměnné, kterou můžeme eliminovat (proměnná y)
Logická mapa • Reprezentace log. funkce maticově • Marquandova (Svobodova) mapa • Při otočení přiřazení proměnných o 180° kolem středu mapy získáme přiřazení inverzní • Karnaughova mapa • Sousedním políčkům jsou přiřazeny sousedné kombinace vstupních stavů (liší se v jedné proměnné)