(自分用メモ) 論理式の式変形 (和をXOR, ANDで書き直す)

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