xor
Formula