ex__def__propositional_formula_ast.tex

\documentclass{classes/forest}

\begin{document}
  \begin{forest}
    [
      \( \synneg \)
        [
          \( \synwedge \)
            [\( T(\varphi) \), SubTree]
            [
              \( \synneg \)
                [\( T(\varphi) \), SubTree]
            ]
        ]
    ]
  \end{forest}

  \begin{forest}
    [
      \( \synwedge \)
        [\( \synp \)]
        [
          \( \synwedge \)
            [\( \synq \)]
            [\( \synr \)]
        ]
    ]
  \end{forest}

  \begin{forest}
    [
      \( \synwedge \)
        [
          \( \synwedge \)
            [\( \synp \)]
            [\( \synq \)]
        ]
        [\( \synr \)]
    ]
  \end{forest}
\end{document}