% 
%
\begin{tabbing}
mmmmmm \= mm \= mmm  \= mmmmmmmmmmmmmm  \= mmmmmm   \kill
    \>\'     \>(1)  \> $$           \>  \\
    \>\'     \>(2)  \> $$           \>  \\
    \>\'     \>(3)  \> $$           \>  \\
    \>\'     \>(4)  \> $$           \>  \\
    \>\'     \>(5)  \> $$           \>  \\
    \>\'     \>(6)  \> $$           \>  \\
    \>\'     \>(7)  \> $$           \>  \\
    \>\'     \>(8)  \> $$           \>  \\
    \>\'     \>(9)  \> $$           \>  \\
    \>\'     \>(10) \> $$           \>  \\
    \>\'     \>(11) \> $$           \>  \\
    \>\'     \>(12) \> $$           \>  \\
    \>\'     \>(13) \> $$           \>  \\
    \>\'     \>(14) \> $$           \>  \\
    \>\'     \>(15) \> $$           \>  \\
    \>\'     \>(16) \> $$           \>  \\
    \>\'     \>(17) \> $$           \>  \\
    \>\>\>\>\qquad\qquad\qquad\qquad$\square$
\end{tabbing}

%  For equivalence algebra:


\begin{align*}
  &\equiv  & \text{} \\
  &\equiv  & \text{} \\
  &\equiv  & \text{} \\
  &\equiv  & \text{} \\
  &\equiv  & \text{}
\end{align*}


%  For truth tables (though there must be a better way...)

\begin{tabular}{c|cc||c}
$P$& $-$ & $P$ & $Q$ \\  \hline
T  &  F  &  T  &  T   \\
T  &  F  &  T  &  F    \\
F  &  T  &  F  &  T    \\
F  &  T  &  F  &  F
\end{tabular}




