(x AND y) XOR ((NOT x) AND z)