\BOOKMARK [0][-]{chapter*.6}{Seznam obr\341zku}{}
\BOOKMARK [0][-]{chapter*.7}{Seznam tabulek}{}
\BOOKMARK [0][-]{chapter.1}{\332vod}{}
\BOOKMARK [1][-]{section.1.1}{\332cel projektu a jeho pozad\355}{chapter.1}
\BOOKMARK [0][-]{chapter.2}{Z\341kladn\355 definice}{}
\BOOKMARK [1][-]{section.2.1}{Booleova algebra}{chapter.2}
\BOOKMARK [1][-]{section.2.2}{Vyj\341dren\355 logick\375ch funkc\355}{chapter.2}
\BOOKMARK [1][-]{section.2.3}{Form\341t PLA}{chapter.2}
\BOOKMARK [0][-]{chapter.3}{Bin\341rn\355 rozhodovac\355 diagramy}{}
\BOOKMARK [1][-]{section.3.1}{Bin\341rn\355 rozhodovac\355 diagramy}{chapter.3}
\BOOKMARK [2][-]{subsection.3.1.1}{Konstrukce BDD}{section.3.1}
\BOOKMARK [1][-]{section.3.2}{OBDD - uspor\341dan\351 BDD}{chapter.3}
\BOOKMARK [1][-]{section.3.3}{ROBDD - redukovan\351 uspor\341dan\351 BDD}{chapter.3}
\BOOKMARK [2][-]{subsection.3.3.1}{Vlastnosti ROBDD}{section.3.3}
\BOOKMARK [1][-]{section.3.4}{Operace s ROBDD}{chapter.3}
\BOOKMARK [2][-]{subsection.3.4.1}{Operace APPLY}{section.3.4}
\BOOKMARK [2][-]{subsection.3.4.2}{Operace RESTRICT}{section.3.4}
\BOOKMARK [1][-]{section.3.5}{Zpusoby vyj\341dren\355 ne\372plne urcen\375ch funkc\355 pomoc\355 BDD}{chapter.3}
\BOOKMARK [2][-]{subsection.3.5.1}{Z\341kladn\355 zpusoby reprezentace ne\372plne urcen\375ch funkc\355 pomoc\355 ROBBD}{section.3.5}
\BOOKMARK [2][-]{subsection.3.5.2}{Reprezentace ne\372plne urcen\375ch logick\375ch funkc\355 pomoc\355 BDD\137for\137CF}{section.3.5}
\BOOKMARK [0][-]{chapter.4}{Modifikovan\375 bin\341rn\355 diagram}{}
\BOOKMARK [1][-]{section.4.1}{MBD}{chapter.4}
\BOOKMARK [2][-]{subsection.4.1.1}{Vlastnosti MBD}{section.4.1}
\BOOKMARK [2][-]{subsection.4.1.2}{Zvl\341\235tnosti MBD}{section.4.1}
\BOOKMARK [0][-]{chapter.5}{Razen\355 vstupn\355ch promenn\375ch}{}
\BOOKMARK [1][-]{section.5.1}{Metody pouz\355van\351 pro razen\355 promenn\375ch}{chapter.5}
\BOOKMARK [2][-]{subsection.5.1.1}{Statick\351 metody razen\355}{section.5.1}
\BOOKMARK [2][-]{subsection.5.1.2}{Dynamick\351 metody razen\355}{section.5.1}
\BOOKMARK [0][-]{chapter.6}{Minimalizace logick\375ch funkc\355}{}
\BOOKMARK [1][-]{section.6.1}{Klasick\351 zpusoby minimalizace}{chapter.6}
\BOOKMARK [2][-]{subsection.6.1.1}{Minimalizace pomoc\355 Booleovy algebry}{section.6.1}
\BOOKMARK [2][-]{subsection.6.1.2}{Minimalizace s vyuzit\355m map}{section.6.1}
\BOOKMARK [2][-]{subsection.6.1.3}{Systematick\351 minimalizace}{section.6.1}
\BOOKMARK [1][-]{section.6.2}{Minimalizace pomoc\355 MBD}{chapter.6}
\BOOKMARK [2][-]{subsection.6.2.1}{Vyuzit\355 struktury MBD pro minimalizaci}{section.6.2}
\BOOKMARK [2][-]{subsection.6.2.2}{Vyuzit\355 DCsetu pri minimalizaci}{section.6.2}
\BOOKMARK [0][-]{chapter.7}{Popis re\235en\355}{}
\BOOKMARK [1][-]{section.7.1}{Posloupnost operac\355 pri minimalizaci logick\351 funkce pomoc\355 MBD}{chapter.7}
\BOOKMARK [1][-]{section.7.2}{Nac\355t\341n\355 a redukce MBD}{chapter.7}
\BOOKMARK [1][-]{section.7.3}{Dynamick\351 razen\355 promenn\375ch}{chapter.7}
\BOOKMARK [1][-]{section.7.4}{Presmerov\341n\355 hran vedouc\355ch do termin\341ln\355ho uzlu s hodnotou X}{chapter.7}
\BOOKMARK [1][-]{section.7.5}{Boolevsk\341 minimalizace}{chapter.7}
\BOOKMARK [1][-]{section.7.6}{Probl\351m prekr\375vaj\355c\355ch se termu}{chapter.7}
\BOOKMARK [0][-]{chapter.8}{Experimenty}{}
\BOOKMARK [1][-]{section.8.1}{Razen\355 promenn\375ch}{chapter.8}
\BOOKMARK [2][-]{subsection.8.1.1}{Cetnost v\375skytu poctu uzlu}{section.8.1}
\BOOKMARK [2][-]{subsection.8.1.2}{Casov\341 slozitost nac\355t\341n\355 MBD}{section.8.1}
\BOOKMARK [2][-]{subsection.8.1.3}{\332cinnost rad\355c\355ch technik}{section.8.1}
\BOOKMARK [2][-]{subsection.8.1.4}{Zhodnocen\355}{section.8.1}
\BOOKMARK [1][-]{section.8.2}{Minimalizace logick\375ch funkc\355}{chapter.8}
\BOOKMARK [2][-]{subsection.8.2.1}{Minimalizace pomoc\355 DCsetu}{section.8.2}
\BOOKMARK [2][-]{subsection.8.2.2}{Celkov\341 minimalizace pomoc\355 MBD}{section.8.2}
\BOOKMARK [2][-]{subsection.8.2.3}{Zhodnocen\355}{section.8.2}
\BOOKMARK [0][-]{chapter.9}{Implementace}{}
\BOOKMARK [1][-]{section.9.1}{Pouzit\351 n\341stroje a filozofie programu}{chapter.9}
\BOOKMARK [2][-]{subsection.9.1.1}{Podporovan\351 platformy}{section.9.1}
\BOOKMARK [1][-]{section.9.2}{Struktura programu}{chapter.9}
\BOOKMARK [2][-]{subsection.9.2.1}{Node}{section.9.2}
\BOOKMARK [2][-]{subsection.9.2.2}{MBD}{section.9.2}
\BOOKMARK [2][-]{subsection.9.2.3}{MBDLIB}{section.9.2}
\BOOKMARK [2][-]{subsection.9.2.4}{PLA}{section.9.2}
\BOOKMARK [0][-]{chapter.10}{Vizualizace MBD}{}
\BOOKMARK [1][-]{section.10.1}{Jazyk DOT}{chapter.10}
\BOOKMARK [1][-]{section.10.2}{Graphviz}{chapter.10}
\BOOKMARK [1][-]{section.10.3}{Nic nen\355 dokonal\351}{chapter.10}
\BOOKMARK [1][-]{section.10.4}{Jin\351 zpusoby vizualizace}{chapter.10}
\BOOKMARK [0][-]{chapter.11}{Z\341ver}{}
