a and (b xor c)