Questionnaire-2024/dpll_table.tex

% Template for Exams
%
\input{util/version}
\documentclass{article}

\input{util/packages}
\input{util/math_macros}
\input{util/styling_macros}

\usepackage{float,lscape}

\pagenumbering{gobble}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

\newcommand{\wb}{\phantom{1.2cm}}
\begin{document}

\begin{landscape}
    \begin{table}[ht!]
      \centering
      \begin{dplltabular}{15}
        \dpllStep{1|2|3|4|5|6|7|8|9|10|11|12|13|14|15}
        \dpllDecL{\wb|\wb|\wb|\wb|\wb|\wb|\wb|\wb|\wb|\wb|\wb|\wb|\wb|\wb|\wb}
        \rule{0pt}{18pt}\dpllAssi{\wb|\wb|\wb|\wb|\wb|\wb|\wb|\wb|\wb|\wb|\wb|\wb|\wb|\wb|\wb}

        \rule{0pt}{12pt}\dpllClause{1}{}
        {\wb|\wb|\wb|\wb|\wb|\wb|\wb|\wb|\wb|\wb|\wb|\wb|\wb|\wb|\wb}
        \rule{0pt}{12pt}\dpllClause{2}{}
        {\wb|\wb|\wb|\wb|\wb|\wb|\wb|\wb|\wb|\wb|\wb|\wb|\wb|\wb|\wb}
        \rule{0pt}{12pt}\dpllClause{3}{}
        {\wb|\wb|\wb|\wb|\wb|\wb|\wb|\wb|\wb|\wb|\wb|\wb|\wb|\wb|\wb}
        \rule{0pt}{12pt}\dpllClause{4}{}
        {\wb|\wb|\wb|\wb|\wb|\wb|\wb|\wb|\wb|\wb|\wb|\wb|\wb|\wb|\wb}
        \rule{0pt}{12pt}\dpllClause{5}{}
        {\wb|\wb|\wb|\wb|\wb|\wb|\wb|\wb|\wb|\wb|\wb|\wb|\wb|\wb|\wb}
        \rule{0pt}{12pt}\dpllClause{6}{}
        {\wb|\wb|\wb|\wb|\wb|\wb|\wb|\wb|\wb|\wb|\wb|\wb|\wb|\wb|\wb}
        \rule{0pt}{12pt}\dpllClause{7}{}
        {\wb|\wb|\wb|\wb|\wb|\wb|\wb|\wb|\wb|\wb|\wb|\wb|\wb|\wb|\wb}
        \rule{0pt}{12pt}\dpllClause{8}{}
        {\wb|\wb|\wb|\wb|\wb|\wb|\wb|\wb|\wb|\wb|\wb|\wb|\wb|\wb|\wb}
        \rule{0pt}{12pt}\dpllClause{9}{}
        {\wb|\wb|\wb|\wb|\wb|\wb|\wb|\wb|\wb|\wb|\wb|\wb|\wb|\wb|\wb}
        \rule{0pt}{12pt}\dpllClause{10}{}
        {\wb|\wb|\wb|\wb|\wb|\wb|\wb|\wb|\wb|\wb|\wb|\wb|\wb|\wb|\wb}

        \rule{0pt}{10pt}\dpllBCP{\wb|\wb|\wb|\wb|\wb|\wb|\wb|\wb|\wb|\wb|\wb|\wb|\wb|\wb|\wb}
        \rule{0pt}{10pt}\dpllPL{\wb|\wb|\wb|\wb|\wb|\wb|\wb|\wb|\wb|\wb|\wb|\wb|\wb|\wb|\wb}
        \rule{0pt}{10pt}\dpllDeci{\wb|\wb|\wb|\wb|\wb|\wb|\wb|\wb|\wb|\wb|\wb|\wb|\wb|\wb|\wb}
      \end{dplltabular}
    \end{table}
\end{landscape}

%---------------------------------------------------------


\end{document}