请问表达式 (x ^ y) == (x ^ (x & y)) + (y ^ (x & y)) 是否恒为 True，如果是，请证明；如果不是，请举出反例。