Fuente TeX:

\displaystyle \begin{array}{l}v((\beta \to \gamma )\to (\alpha \to \gamma ))=\max (1-max(1-v(\beta ),v(\gamma )),\max (1-v(\alpha ),v(\gamma )))=1\Leftrightarrow \\max(1-v(\beta ),v(\gamma ))=0\vee \max (1-v(\alpha ),v(\gamma ))=1\Leftrightarrow \end{array}