为什么布尔代数运算(a^b)^a=b?

为什么布尔代数运算( a ^ b ) ^ a = b ?

a ^ b = b ^ a（a与b异或和b与a异或结果是一样的）
a ^ a = 0
b ^ 0 = b （1 ^ 0 = 1, 0 ^ 0 = 0 $\Rightarrow$ b ^ 0 = b ）

则：( a ^ b ) ^ a = ( b ^ a ) ^ a = b ^ ( a ^ a ) = b ^ 0 = b