not(a xor b) and not(b xor c)