\documentclass[]{scrartcl}
\usepackage{geometry}
 \geometry{
 a4paper,
 top=18mm,
 bottom=19mm,
 }
\usepackage[utf8]{inputenc}
\usepackage[T1]{fontenc}
\usepackage{amsmath}
\usepackage[pdftex,pdfa,hidelinks,breaklinks]{hyperref}
\usepackage{url}
\usepackage{xmpincl}
\usepackage{hyperxmp}
\usepackage[affil-it]{authblk}
\usepackage{enumitem}
\usepackage{pgfplots}
\pgfplotsset{width=1.0\textwidth}
\usepackage{graphicx}
\graphicspath{ {./img/} }

\usepackage{karnaugh-map}

\renewcommand{\figurename}{Obrázek}
\renewcommand{\tablename}{Tabulka}

\date{\today}

\title{Protokol 4 - Sekvenční úloha - semafor}
\author{M et Z}

\begin{document}
\affil{FAI UTB ve Zlíně, Softwarové inženýrství (SWI)}

\maketitle
\renewcommand{\contentsname}{Obsah}
\tableofcontents

\newpage

\section*{Zadání}
\addcontentsline{toc}{section}{Zadání}

\begin{enumerate}
    \item Navrhněte sekvenční logický obvod pro řízení světelné signalizace na
        křižovatce obvod pro řízení světelné signalizace na křižovatce splňující následující časování:
        \begin{itemize}
            \item 4 časové jednotky svítí červená
            \item 1 časovou jednotku svítí současně červená a žlutá
            \item 4 časové jednotky svítí zelená
            \item 1 časovou jednotku svítí žlutá
            \item Přechod na začátek sekvence
        \end{itemize}
        \begin{enumerate}
            \item Dle zadaného časování semaforu sestavte pravdivostní tabulku obsahující číslo
                hodinového impulsu h-i, výstupy čítače Q 0 až Q 3 a stav světelné signalizace semaforu
                R (červená), Y (žlutá) a G (zelená).
            \item Za použití Karnaughových map proveďte minimalizaci logických funkcí pro ovládání
                jednotlivých světelných signálů semaforu. KM budou celkem tři s rozměrem 4x4
                buněk. Neurčité stavy označte znakem x a doplňte je takovou logickou hodnotou (x1
                nebo x0), aby bylo dosaženo co nejlepší minimalizace logické funkce.
            \item Upravte logické funkce do tvaru vhodného pro realizaci pomocí logických členů NAND.
                Použijte De Morganových zákonů pro nahrazení logických součtů logickými součiny.
            \item Navrhněte schéma zapojení kódovacího obvodu s využitím hradel NAND s libovolným
                počtem vstupů.
        \end{enumerate}
    \item Ověřte funkci semaforu v obvodovém simulátoru a zaznamenejte časový digram jednotlivých světelných signálů.
        \begin{enumerate}
            \item Sestavte výsledný logický obvod, který bude tvořen čítačem 7493, na jehož výstupy
                bude připojen navržený kódovací obvod pro světelnou signalizaci. Nezapomeňte
                správně připojit resetovací vstupy čítače MR1 a MR2. Jako šablonu obvodu pro Circuit
                simulátor použijte soubor „Semafor.txt“, kde je již vložen obvod čítače a příslušné
                výstupy semaforu včetně nastavení grafického výstupu.
            \item V protokolu uveďte kompletní schéma zapojení obvodu a změřený časový diagram
                světelných signálů semaforu v Circuit simulátoru.
        \end{enumerate}
\end{enumerate}

\newpage

\section{Návrh sekvenčního logického obvodu}
\subsection{Pravdivostní tabulka}
\subsection{Karnaughovy mapy}
\subsection{Úprava logických funkcí}
\subsection{Schéma zapojení}

\newpage

\section{Ověření funkce semaforu v obvodovém simulátoru}
\newpage

\section{Závěr}

\end{document}