sample truth output

\item
{$A$: Adam wins the election\\
$R$: Brown will retire\\
$D$: Brown dies\\\(
A \lif R\\
D \lif A\\\line \\
R \lif D
\)}

\item
\(
\begin{array}[t]{c|c|c||c|c||cc}
A&R&D&A \lif R&D \lif A&R \lif D\\
\hline
\hline
T&T&T&T&T&T&*\\
T&T&F&F&T&F&\\
T&F&T&T&T&T&*\\
T&F&F&F&T&T&\\
F&T&T&T&F&T&\\
F&T&F&T&T&F&*\\
F&F&T&T&F&T&\\
F&F&F&T&T&T&*\\
\end{array}
\)