truth table (x and not y) or (y and not z)