(x | y) & (x | ~y) & (~x | y)