%format latex
%
%Author: Anthony Bloesch
%Title: test2.tex
%
%Copyright (C) Anthony Bloesch 1993

\documentstyle[treetex]{article}

\newcommand{\closed}{\times}
\newcommand{\justfalse}{\mathord{\strutrule{12pt}\overline{\truesign}}}
\newcommand{\justtrue}{\mathord{\strutrule{12pt}\overline{\falsesign}}}
\renewcommand{\land}{{\mathrel\wedge}}
\newcommand{\pred}[1]{\mathord{\mbox{\rm #1}}}
\newcommand{\strutrule}[1]{\protect\rule{0cm}{#1}}
\newcommand{\truesign}{\mbox{\bf T}}

\begin{document}
\begin{center}
\begin{tree}{testd}
  \rootnode{\shortstack[l]{$\truesign\;\pred{P}$\\
                           $\truesign\;\pred{Q}$\\
                           $\justfalse\;\pred{P}\land\pred{Q}$}}
  \treenode{nodeA}{root}{\shortstack{\shortstack[l]{$\justfalse\;\pred{P}$\\
                                     $\justfalse\;\pred{P}\land\pred{Q}$\\
                                     $\justfalse\;\pred{Q}\land\pred{Q}$\\
                                     $\justfalse\;\pred{P}\land\pred{R}$\\
                                     $\truesign\;\pred{P}\land\pred{Q}$\\
                                     $\truesign\;\pred{Q}$}\\
                                     $\closed$}}
  \treenode{nodeB}{root}{\shortstack[l]{$\justfalse\;\pred{Q}$\\
                                 $\justfalse\;\pred{Q}\land\pred{Q}$}}
  \treenode{nodeC}{nodeB}{\shortstack{\shortstack[l]{$\justfalse\;\pred{Q}$\\
                                      $\truesign\;\pred{P}$\\
                                      $\truesign\;\pred{Q}$\\
                                      $\justfalse\;\pred{P}\land\pred{Q}$}\\
                                      $\closed$}}
  \treenode{nodeD}{nodeB}{\shortstack{\shortstack[l]{$\justfalse\;\pred{Q}$\\
                                      $\justfalse\;\pred{Q}$\\
                                      $\truesign\;\pred{P}$\\
                                      $\truesign\;\pred{Q}$\\
                                      $\justfalse\;\pred{P}\land\pred{Q}$}\\
                                      $\closed$}}
\end{tree}
\end{center}

\begin{center}
\begin{tree}[l]{teste}
  \rootnode{\shortstack[l]{$\truesign\;\pred{P}$\\
                           $\truesign\;\pred{Q}$\\
                           $\justfalse\;\pred{P}\land\pred{Q}$}}
  \treenode{nodeA}{root}{\shortstack{\shortstack[l]{$\justfalse\;\pred{P}$\\
                                     $\justfalse\;\pred{P}\land\pred{Q}$\\
                                     $\justfalse\;\pred{Q}\land\pred{Q}$\\
                                     $\justfalse\;\pred{P}\land\pred{R}$\\
                                     $\truesign\;\pred{P}\land\pred{Q}$\\
                                     $\truesign\;\pred{Q}$}\\
                                     $\closed$}}
  \treenode{nodeB}{root}{\shortstack[l]{$\justfalse\;\pred{Q}$\\
                                 $\justfalse\;\pred{Q}\land\pred{Q}$}}
  \treenode{nodeC}{nodeB}{\shortstack{\shortstack[l]{$\justfalse\;\pred{Q}$\\
                                      $\truesign\;\pred{P}$\\
                                      $\truesign\;\pred{Q}$\\
                                      $\justfalse\;\pred{P}\land\pred{Q}$}\\
                                      $\closed$}}
  \treenode{nodeD}{nodeB}{\shortstack{\shortstack[l]{$\justfalse\;\pred{Q}$\\
                                      $\justfalse\;\pred{Q}$\\
                                      $\truesign\;\pred{P}$\\
                                      $\truesign\;\pred{Q}$\\
                                      $\justfalse\;\pred{P}\land\pred{Q}$}\\
                                      $\closed$}}
\end{tree}
\end{center}
\end{document}
