Fuente TeX:
\displaystyle \gamma \text{=}\neg (\alpha \wedge \neg \beta )\text{ o }\gamma \text{=(}\alpha \wedge \beta \text{)}