简单的式子：a + b = (a & b) + (a | b)

代了几个数，但想不出规范的证明。