\begin{frame} \frametitle{Parse Trees} Bottom-up evaluation of truth values in a parse tree: \begin{itemize} \item $p = \T$ \item $q = \F$ \item $r = \T$ \end{itemize} \begin{center} \begin{tikzpicture}[default] \begin{scope}[tree,nodes={node_yellow,minimum size=6mm}] %!begin{tree}{magic:006780749442385126} % $\to$:e($\wedge$:l($\neg$:ll($p$:lll),$q$:lr),$\wedge$:r($p$:rl,$\vee$:rr($q$:rrl,$\neg$:rrr($r$:rrrr)))) \node (e) {$\to$} child { node (l) {$\wedge$} child { node (ll) {$\neg$} child { node (lll) {$p$} } } child { node (lr) {$q$} } } child { node (r) {$\wedge$} child { node (rl) {$p$} } child { node (rr) {$\vee$} child { node (rrl) {$q$} } child { node (rrr) {$\neg$} child { node (rrrr) {$r$} } } } }; \begin{pgfonlayer}{background} \end{pgfonlayer} %!end{tree}{magic:006780749442385126} \end{scope} \begin{scope}[dgreen] \mpause[1]{ \node [lhead=lll] {$\T$}; \node [rhead=lr] {$\F$}; \node [lhead=rl] {$\T$}; \node [lhead=rrl] {$\F$}; \node [rhead=rrrr] {$\T$}; } \mpause{ \node [lhead=ll] {$\F$}; } \mpause{ \node [lhead=l] {$\F$}; } \mpause{ \node [rhead=rrr] {$\F$}; } \mpause{ \node [rhead=rr] {$\F$}; } \mpause{ \node [rhead=r] {$\F$}; } \mpause{ \node [ahead=e] (l) {$\T$}; } \end{scope} \end{tikzpicture} \end{center} \end{frame}