(a and b) xor (a and c)