(a xor c) and (b xor c)