Помогите с доказательством
Можете доказать это:
a + b = (a ^ b) + (a & b) * 2
^ — это xor
& — это and