Fuente TeX:

\varphi = ((p_0 \rightarrow \perp) \land ((p_2 \lor p_3) \rightarrow (p_4 \land (\neg p_8))))