(x and y) or (z and (x or y))
