上記画像の式変形が成り立つ https://atcoder.jp/contests/abc238/tasks/abc238_d この問題の解説にもある 和は繰り上がりがあるが、XOR, ANDで書き直せればビットごとに解けることも AC https://atcoder.jp/contests/abc238/submissions/45114951