OBSAH WEBU
ČTĚTE!
Rozdíly
Zde můžete vidět rozdíly mezi vybranou verzí a aktuální verzí dané stránky.
|
temata:08-minimalizace_logickych_vyrazu:main [2011/02/12 18:53] jasho [Mriežka implikantov:] |
temata:08-minimalizace_logickych_vyrazu:main [2011/05/06 17:30] (aktuální) vagabund [08 - Minimalizácia logických výrazov] |
||
|---|---|---|---|
| Řádek 1: | Řádek 1: | ||
| - | ====== Minimalizácia logických výrazov ====== | + | ~~ODT~~ |
| + | ====== 08 - Minimalizácia logických výrazov ====== | ||
| + | |||
| + | * proces, který má za úkol snížit počet logických členů v obvodech | ||
| ===== Kritériá minimalizácie: ===== | ===== Kritériá minimalizácie: ===== | ||
| * Plocha (počet hradiel) | * Plocha (počet hradiel) | ||
| Řádek 30: | Řádek 33: | ||
| ===== N-rozmerná jednotková kocka ===== | ===== N-rozmerná jednotková kocka ===== | ||
| * N-rozmerov = N premenných | * N-rozmerov = N premenných | ||
| - | * boolovská susednosť - susedné vrcholy sa líšia len v hodnote jednej premennej | + | * booleovská susednosť - susedné vrcholy sa líšia len v hodnote jednej premennej |
| * eliminácia premennej - y*z + y*z' = y | * eliminácia premennej - y*z + y*z' = y | ||
| Řádek 131: | Řádek 134: | ||
| {{:temata:08-minimalizace_logickych_vyrazu:14_mriezka_implikantov.png|}} | {{:temata:08-minimalizace_logickych_vyrazu:14_mriezka_implikantov.png|}} | ||
| - | * výsledok: F(w, x, y, z) = PI1 + PI3 + PI4 + PI7 = (1-0-)+(-010)+(01-0)+(11-1) | + | * výsledok: F(w, x, y, z) = PI1 + PI3 + PI4 + PI7 = (1-0-) + (-010) + (01-0) + (11-1) |
| + | |||
| + | ===== Petrickova funkce: ===== | ||
| + | * algoritmus nájdenia minimálneho pokrytia funkcie | ||
| + | * postup: | ||
| + | * nájdeme všetky skrátené implikanty (pomocou Karnaughových máp, alebo Quine-McCluskey) | ||
| + | * nájdeme všetky nesporné implikanty (napr. pomocou mriežky implikantov) | ||
| + | * pre zostávajúce skrátené implikanty zapíšeme ZNKF výraz reprezentujúci všetky možné pokrytia - pre každý nepokrytý implikant zapíšeme sumu skrátených implikantov, ktoré ho pokrývajú | ||
| + | * roznásobením prepíšeme na disjunktnú formu, zjednodušíme pomocou booleovho teorému => každý term, ktorý vznikne predstavuje jedno možné pokrytie | ||
| + | * nájdeme pokrytie s najnižšou cenou (najnižším počtom premenných v impikante) | ||
| + | * umožňuje nájdenie optimálneho riešenia | ||
| + | |||
| + | {{:temata:08-minimalizace_logickych_vyrazu:15_petrickova_funkce_02.png|}} | ||
| + | |||
| + | |||
| + | ===== Zdroj ===== | ||
| + | |||
| + | <note> | ||
| + | Čerpal som zo slidov k INC: | ||
| + | https://wis.fit.vutbr.cz/FIT/st/course-files-st.php/course/INC-IT/lectures/inc4_minim.pdf | ||
| + | https://wis.fit.vutbr.cz/FIT/st/course-files-st.php/course/INC-IT/lectures/inc5_minim2.pdf | ||
| + | </note> | ||
| ===== Potvrzení ===== | ===== Potvrzení ===== | ||
| <doodle single login|08> | <doodle single login|08> | ||
