TomoLink
Hardtcs-nqt

If x XOR y = z and x XOR z = y, which property of XOR is being used?