Fuente TeX:

\displaystyle \begin{array}{l}(v(\beta )=1\vee (v(\alpha )=0\vee v(\gamma )=1))\wedge (v(\gamma )=0\vee (v(\alpha )=0\vee v(\gamma )=1))\\(v(\beta )=1\vee (v(\alpha )=0\vee v(\gamma )=1))\wedge (v(\alpha )=0\vee (v(\gamma )=0\vee v(\gamma )=1))\end{array}