LOGICKÉ ŘÍZENÍ GEORGE BOOLE (c) 1999. Tralvex Yeap. All Rights Reserved
LOGICKÉ ŘÍZENÍ LOGICKÉ ŘÍZENÍ SE LIŠÍ OD OBECNÉHO SPOJITÉHO ŘÍZENÍ TÍM, ŽE U SPOJITÉHO ŘÍZENÍ FUNKCE NABÝVAJÍ NEKONEČNĚ HODNOT, ZATÍMCO U LOGICKÉHO ŘÍZENÍ MŮŽE NABÝVAT POUZE KONEČNÝ POČET PRVKŮ. ZPRACOVÁVANÉ INFORMACE JSOU LOGICKÝMI VELIČINAMI (TY JSOU DVOUHODNOTOVÉ).
OZNAČENÍ LOGICKÝCH PROMĚNNÝCH 0 1 (NEJČASTĚJI) L H (OBECNĚJI) ZAP VYP (JE-LI TO FYZIKÁLNĚ VÝSTIŽNĚJŠÍ) ANO NE (PRO SLOVNÍ POJMY) F T (FALSE, TRUE)
ZÁKLADNÍ POJMY LOGICKÁ ALGEBRA - SOUSTAVA PRAVIDEL K POPISU VZTAHŮ LOGICKÝMI PROMĚNNÝMI S KONEČNÝM POČTEM HODNOT (LOGICKÉ OPERACE). BOOLOVA ALGEBRA - SOUSTAVA PRAVIDEL K POPISU VZTAHŮ MEZI DVOUHODNOTOVÝMI LOGICKÝMI PROMĚNNÝMI. PRAVIDLA POPISUJÍ NEJČASTĚJŠÍ LOGICKÉ OPERACE. LOGICKÝ OBVOD - FYZIKÁLNÍ SYSTÉM, KTERÝ REALIZUJE LOGICKÉ OPERACE (Z POLOVODIČOVÝCH PRVKŮ, IO, ...)
ROZDĚLENÍ LOGICKÝCH OBVODŮ PRVNÍ ZPŮSOB DĚLENÍ: KOMBINAČNÍ OBVOD (AND,OR,NOT,...) SEKVENČNÍ OBVOD (R-S, J-K, D, ...) DRUHÝ ZPŮSOB DĚLENÍ S PEVNOU LOGIKOU (LOGICKÉ POLE...) PROGRAMOVATELNÉ (PROGRAMOVATELNÉ AUTOMATY, POČÍTAČE...)
PRAVDIVOSTNÍ TABULKA PRAVDIVOSTNÍ TABULKOU VYJADŘUJEME ZÁVISLOST VÝSTUPNÍ VELIČINY NA VSTUPNÍ. POČET ŘÁDKŮ PRAVDIVOSTNÍ TABULKY JE DÁN POČTEM VSTUPŮ. 2N, KDE N JE POČET VSTUPŮ.
LOGICKÉ FUNKCE ČTYŘI LOGICKÉ FUNKCE
NEJČASTĚJŠÍ LOGICKÁ FUNKCE
LOGICKÉ FUNKCE DVOU PROMĚNNÝCH NEGACE DISJUNKCE, NOR, PIERCEOVA FUNKCE KONJUNKCE, LOGICKÝ SOUČIN, AND (ČESKY „i") DISJUNKCE, LOGICKÝ SOUČET, OR (ČESKY "NEBO") NEGACE KONJUNKCE, NAND, SHEFFEROVA FUNKCE
BOOLOVA ALGEBRA POUŽÍVÁ JEN TŘI LOGICKÉ FUNKCE (NEGACE, KONJUNKCE, DISJUNKCE), ALE LZE JIMI VYJÁDŘIT LIBOVOLNOU FUNKCI KAŽDOU SLOŽITĚJŠÍ FUNKCI JE ŽÁDOUCÍ MINIMALIZOVAT POMOCÍ BOOLEOVY ALGEBRY
BOOLOVA ALGEBRA
BOOLOVA ALGEBRA
PŘÍKLAD
PŘÍKLAD
VYJÁDŘENÍ BOOLEOVSKÝCH FUNKCÍ SLOVNÍ ZADÁNÍ PRAVDIVOSTNÍ TABULKA ALGEBRAICKÝ ZÁPIS - ROVNICE, POPISUJÍCÍ LOGICKÝ OBVOD KARNAUGHOVA MAPA VENNOVY DIAGRAMY (V DALŠÍM TEXTU NEJSOU PODROBNĚ ROZEBRÁNY, UVÁDÍM POUZE JAKO PŘÍKLAD, ŽE MOŽNÝCH ZPŮSOBŮ VYJÁDŘENÍ JE VÍCE) BLOKOVÉ SCHÉMA - SCHÉMATICKÉ ZNAČKY PRO LOGICKÉ ČLENY