This is LaTeX code:
[latex]
z + z \cdot \bar{y} = z \cdot (1 + \bar{y}) = z \cdot 1 = z
[/latex]