Мне нужно создать дерево, подобное это дерево. Код, который я написал до сих пор,
\documentclass[11pt, a4paper]{article}
% Packages
\usepackage{amsmath, amssymb, amstext}
\usepackage[linguistics]{forest}
% Margins
\usepackage[a4paper,margin=2cm]{geometry}
% Renew Commands
\renewcommand{\land}{~\&~}
\renewcommand{\implies}{\supset}
\renewcommand{\iff}{\equiv}
% Document
\begin{document}
\begin{forest}
[$(E \implies \lnot (P \lor Q)) \land ((Q \land E) \lor (E \land P))$
[$E \implies \lnot (P \lor Q)$ \\ $(Q \land E) \lor (E \land P)$
[$E \land (Q \lor P)$
[$E$\\$Q \lor P$
[$\lnot (P \lor Q)$
[$\lnot P \land \lnot Q$
[$\lnot P$\\$\lnot Q$
[$Q$
[$\times$]
]
[$P$
[$\times$]
]
]
]
]
]
]
]
]
\end{forest}
\end{document}
Что пока создает это дерево. Это указывает на то, что мне нужен крайний левый столбец, содержащий нумерацию с выравниванием по левому краю, и правый столбец, содержащий объяснение правил с выравниванием по левому краю. Также было бы очень полезно, если бы вы могли включить способ, чтобы все узлы были равномерно разнесены, чтобы левый и правый столбцы были выровнены с узлами. Спасибо!