From 90110bd780f921523e5d58966d0d5da8b3bdb36c Mon Sep 17 00:00:00 2001 From: Arity-T Date: Fri, 20 Dec 2024 03:38:26 +0300 Subject: [PATCH] =?UTF-8?q?=D0=A2=D0=B0=D0=B1=D0=BB=D0=B8=D1=86=D0=B0=20?= =?UTF-8?q?=D0=B8=D1=81=D1=82=D0=B8=D0=BD=D0=BD=D0=BE=D1=81=D1=82=D0=B8=20?= =?UTF-8?q?(=D0=BF=D0=BE=D0=BA=D0=B0=20=D0=BD=D0=B5=D0=BF=D0=BE=D0=BB?= =?UTF-8?q?=D0=BD=D0=B0=D1=8F)?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- coursework/report.tex | 60 ++++++++++++++++++++++++++++++++++++++----- 1 file changed, 53 insertions(+), 7 deletions(-) diff --git a/coursework/report.tex b/coursework/report.tex index 72d08cc..e53d461 100644 --- a/coursework/report.tex +++ b/coursework/report.tex @@ -229,13 +229,59 @@ \end{tabular} \end{table} - % \textit{$s_0$: time} & 000 \\ - % \textit{$s_1$: minutes} & 001 \\ - % \textit{$s_2$: hours} & 010 \\ - % \textit{$s_3$: weekday} & 011 \\ - % \textit{$s_4$: sec-stop} & 100 \\ - % \textit{$s_5$: sec-run} & 101 \\ - % \textit{$s_6$: display-off} & 110 \\ + \begin{table}[h!] + \centering + \caption{Таблица истинности для F.} + \label{tbl:truth-f} + \footnotesize + \begin{tabularx}{\textwidth}{|X|X|X|X|X|X|X|X|X|X|X|} + \hline + \multicolumn{2}{|c|}{\textbf{Вход}} & + \multicolumn{3}{c|}{\textbf{Текущее состояние}} & + \multicolumn{3}{c|}{\textbf{Следующее состояние}} & + \multicolumn{3}{c|}{\textbf{Выход}} \\ + \hline + $x_1$ & $x_2$ & $q_1$ & $q_2$ & $q_3$ & $Q_1$ & $Q_2$ & $Q_3$ & $y_1$ & $y_2$ & $y_3$ \\ + \hline + + 0 & 0 & 0 & 0 & 0 & 0 & 0 & 1 & 0 & 0 & 0 \\ + \hline + + 0 & 1 & 0 & 0 & 1 & 0 & 0 & 1 & 0 & 0 & 1 \\ + \hline + 0 & 0 & 0 & 0 & 1 & 0 & 1 & 0 & 0 & 0 & 0 \\ + \hline + + 0 & 1 & 0 & 1 & 0 & 0 & 1 & 0 & 0 & 1 & 0 \\ + \hline + 0 & 0 & 0 & 1 & 0 & 0 & 1 & 1 & 0 & 0 & 0 \\ + \hline + + 0 & 1 & 0 & 1 & 1 & 0 & 1 & 1 & 0 & 1 & 1 \\ + \hline + 0 & 0 & 0 & 1 & 1 & 0 & 0 & 0 & 0 & 0 & 0 \\ + \hline + + 0 & 1 & 0 & 0 & 0 & 1 & 0 & 0 & 0 & 0 & 0 \\ + \hline + + 0 & 1 & 1 & 0 & 0 & 1 & 0 & 0 & 1 & 0 & 0 \\ + \hline + 0 & 0 & 1 & 0 & 0 & 1 & 0 & 1 & 0 & 0 & 0 \\ + \hline + + 0 & 0 & 1 & 0 & 1 & 1 & 0 & 0 & 0 & 0 & 0 \\ + \hline + 0 & 1 & 1 & 0 & 1 & 0 & 0 & 0 & 1 & 0 & 0 \\ + \hline + + 1 & 0 & 0 & 0 & 0 & 1 & 1 & 0 & 0 & 0 & 0 \\ + \hline + 1 & 0 & 1 & 1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 \\ + \hline + \end{tabularx} + \end{table} + \subsubsection{Состояния} Всего было выделено 7 состояний ($S = \{s_0, s_1, s_2, s_3, s_4, s_5, s_6, s_7\}$) со следующими значениями: