a and b or (a xor b) and c