260 likes | 1.07k Views
Minimalizace logické funkce. Michal Krajíček Martin Klíma. Obsah. Základní pojmy Hradla a logické operce Vyjádření logické funkce logickými členy Booleova algebra Minimalizační metody De Morganovy zákony Karnaghova mapa Zdroje Zadání úkolu. Základní pojmy.
E N D
Minimalizace logické funkce Michal Krajíček Martin Klíma
Obsah • Základní pojmy • Hradla a logické operce • Vyjádření logické funkce logickými členy • Booleova algebra • Minimalizační metody • De Morganovy zákony • Karnaghova mapa • Zdroje • Zadání úkolu
Základní pojmy Dvojková (binární) soustava je číselná soustava, která používá pouze dva symboly - nejčastěji 0 a 1. Je to poziční číselná soustava mocnin čísla 2. Logická (Bool) hodnota je hodnota reprezentována stavy pravda/nepravda (true/false), nebo také ano/ne, zapnuto/vypnuto nebo ‘1’/’0’ Logická operace je taková operace s výroky, jejíž výsledkem je opět výrok, jež nabývá logických hodnot závisejících na pravdivosti výroků a druhu operace. Logická funkce je funkce, která pro konečný počet vstupních parametrů vrací logické hodnoty Hradlo je základní stavební prvek logických obvodů. Vyčísluje logickou funkci, resp. logická hodnota na výstupu hradla je funkcí vstupních logických hodnot.
Logické operace • Identita • realizována hradlem buffer • Negace • realizována hradlem NOT • - zápis: • Konjunkce (log. součin) • - realizována hradlem AND • - zápis: • Disjunkce (log. součet) • realizována hradlem OR • zápis: • Neekvivalence (exkluzivní log. součet) • - realizována hradlem XOR • - zápis:
Hradla Používané značení hradel: a) EU, b) US, c) ČSN, d) IEC
Vyjádření funkce logickými členy • Jednotlivé operace jsou reprezentovány příslušným typem hradla • Řazení hradel za sebe odpovídá váze logických operací Př)
Booleova algebra • Je to algebra stavu • Oproti klasické algebře např. neexistují operace odčítání a dělení • Základní funkce Booleovy algebry jsou: • Logicky součet (disjunkce) • Logicky součin (konjunkce) • Negace • Uvedené tři základní funkce lze rozšířit na libovolný počet vstupních proměnných a to v přímém i inverzním tvaru. • Pravidla Booleovy algebry jsou formálně shodná s pravidly číselné algebry • Odchylky vyplývají z omezení pouze dvou možných hodnot (‘1’ a ‘0’) • Mimořádá vlastnost Booleovy algebry je její dualita
Zákony pro logické operace Komutativní Asociativní Distributivní Dvojité negace Vyloučení třetího O agresivnosti O neutrálnosti Absorpce Absorpce negace
De Morganovy zákony • Popisují pravidla vyplývající z duality Booleovy algebry
De Morganovy zákony • V praxi se kromě zjednodušení log. funkce využívají k jejímu vyjádření pomocí jedné operace - jednoho typu hradel (OR, AND)
Minimalizační metody • Karnaughovy mapy • Quine-McCluskeyho metoda • Vychází ze stejných principů jako metoda karnaughových map • Pracuje s inplikanty (konjunkcemi) funkce • Dvě fáze: • Hledání prostého implikantu (konjunkce minimální součtové formy dané funkce) • Výběr minimálního počtu prostých implikantů, jejichž součet tvoří formu • Patrickova metoda • Pracuje s množinami prostých implikantů a jednotlivých stavů dané funkce • Podle daných pravidel sestavuje tabulku, ze které se vychází při minimalizaci
Karnaughova mapa • Je to matematický nástroj pro práci s logickými funkcemi • Umožňuje realizovat prakticky všechny operace Booleovy algebry • Pro zjednodušení funkce více než dvou proměnných je téměř vždy použít mapu • Do mapy může být zapsána i obecná logická funkce upravená do tvaru DNT • Tvar mapy odpovídá plnému počtu proměnných logické funkce, pravdivostní tabulky • Karnaughova mapa umožňuje: • zápis disjunkční funkce nebo pravdivostní tabulky • minimalizaci nebo jiné logické úpravy (např. rozvoj funkce až do úrovně UDNT) • inverzi funkce • určení duální funkce, vzhledem k zápisu zpravidla v konjunkčním tvaru *) DNT – Disjunktivní normální tvar UDNT – Úplná disjunktivní normální forma
Sestavení Karnaughovy mapy - mapa • Kanaughova mapa je tvořena tabulkou tvořenou 2n políčky, kde n je počet vstupních proměnných a platí n = 1, 2, 3, 4 …
Sestavení Karnaughovy mapy - souřadnice • Proměnné funkce tvoří systém souřadnic buněk, přičemž se jedná o veškeré kombinace, které proměnné mohou mít a jsou zapsány tak, že se mění vždy pouze v jednom bitu – Grayův kód • Obvykle se zapisuje pouze ‘1’, nevyplněná buňka odpovídá ‘0’ • Pro neúplné funkce se prázdná políčka vyplňují X Grayův kód:
Sestavení Karnaughovy mapy - zápis • Zjednodušovaná funkce je ve tvaru (v tomto případě pro 4 proměnné A, B, C, D) kde fn( ) je identita, negace, nebo nulová funkce • Součinový člen udává souřadnici buňky, kam zapisujeme ‘1’
Pravidla pro vyhodnocení Karnaughovy mapy: • Utváří se co největší skupiny buněk s hodnotou ‘1’, které mohou mít pouze 2n buněk (n = 1,2,3 …) a mají tvar obdélníku. Nejmenší obdélník je jedna buňka • První a poslední buňka řádku a první a poslední buňka sloupce jsou sousedními buňkami • Pokud skupina zabírá v dané ose více buněk, její souřadnice v tomto směru je ta, která se nemění, případně, že zabírá všechny buňky v tomto směru, je určena pouze souřadnicemi směru kolmého • Buňka s hodnotou ‘1’ může být obsažena ve dvou i více skupinách • Zjednodušenou funkci tvoří součet všech souřadnic určujících skupiny buněk s hodnotou ‘1’, přičemž jsou tyto souřadnice součinovými členy • Pokud nedokážeme jednoznačně určit zda bude v daném políčku ‘1‘, nebo ‘0’, (např. hazardní stavy zařízení, nebo nevyužité bity zařízení), pak se jedná o neurčitý stav. Ten se zpravidla značí ‘X’ a pokud je to výhodné pro zjednodušení, je možné tvořit skupiny z ‘1’ a ‘X’ podle předchozích pravidel
Sestavení Karnaughovy mapy - příklad 2.Vyznačení skupin hodnot ‘1’ 1. Zápis do mapy 3. Určení souřadnic skupin a sestavení zjednodušené funkce
Zdroje Logická funkce Dvojková soustava Logické operace Bitové operátory Booleho algebra Minimalizační metody De Morganovy zákony Logické členy Karnaughova mapa http://cs.wikipedia.org/wiki/Logick%C3%A1_funkce http://cs.wikipedia.org/wiki/Dvojkov%C3%A1_soustava http://cs.wikipedia.org/wiki/Pozi%C4%8Dn%C3%AD_%C4%8D%C3%ADseln%C3%A1_soustava http://cs.wikipedia.org/wiki/Logick%C3%A1_operace http://cs.wikipedia.org/wiki/Bitov%C3%BD_oper%C3%A1tor http://elektronika.ezin.cz/view.php?cisloclanku=2006070014-Cislicova-technika-8dil-Booleova-Algebra http://cs.wikipedia.org/wiki/Booleova_algebra http://mvt.ic.cz/dva/prp/prp-03.pdf http://www.prochazka.profitux.cz/booleova-algebra.a6.html http://artemis.osu.cz/polpo/07/05a_Booleova_algebra.pdf http://jjohnyk.sweb.cz/elektronika/12.htm http://ww.webpark.cz/cviceni02.pdf http://www.prochazka.profitux.cz/de-morganovy-zakony.a7.html http://cs.wikipedia.org/wiki/Logick%C3%BD_%C4%8Dlen#AND Arendáš V.: Číslicová technika. Bohumín, 2002 http://www.prochazka.profitux.cz/karnaughova-mapa.a12.html http://www.prochazka.profitux.cz/karnaughova-mapa-dvou-promennych.a11.html http://www.prochazka.profitux.cz/karnaughova-mapa-pro-tri-promenne.a13.html http://www.prochazka.profitux.cz/karnaughova-mapa-pro-ctyri-promenne.a14.html
Zadání úkolu Zrealizujte pomocí hradel funkci Y a pro hodnoty A = 1, B = 1 a C = 1. Zobrazte její výsledek na sedmisegmentovém displayi, případně na diodě. Po té funkci zjednodušte pomocí Karnaughovy mapy a opět zobrazte. Porovnejte původní a zjednodušenou funkci i logické obvody, které ji realizovaly.
Řešení A) B) Výsledná funkce: