Answer by Alex Lop. for Trying to confirm XOR's mathematical property

I don't think there is a name for such property. It implies from other properties of the Exclusive Or (see Exclusive Or wiki for more details).

Here is the proof:

If a^b = c, then    a^c = a^(a^b) = <by associativity>     = (a^a)^b =     = 0^b = b