Questionnaire-2024/propositional_logic/1016_sol.tex

\begin{center}
\begin{forest}
for tree={circle, draw,
            minimum size=2em,
            inner sep=0pt,
            s sep=3mm,
            l sep=5mm}
	[$\land$, label={$F$}
		[$\imp$,  label={$T$}
			[$\land$,  label={$T$}
			  [$p$, label={$T$}]
			  [$\lnot$,  label={$T$}
          [$q$, edge label={node[midway,right]{$F$}}]
        ]
      ]
			[$\lor$,  label={$T$}
			    [$p$, label={$T$}]
			    [$\lnot$,  label={$F$}
            [$r$, edge label={node[midway,right]{$T$}}]
			    ]
			]
		]
		[$\imp$,  label={$F$}
			[$\lnot$,  label={$T$}
        [$q$, edge label={node[midway,right]{$F$}}]
			]
			[$\lnot$, label={$F$}
        [$r$,  edge label={node[midway,right]{$T$}}]
			]
		]
	]
\end{forest}
\end{center}