\(x < y < z\),则 \(min(x \oplus y, y \oplus z) < x \oplus z\)。
\(x + y = 2(x \ \& \ y) + (x \oplus y)\)