XORは繰り上がりのない足し算

$ x + y = x \oplus y + 2(x \otimes y)