x^0s = x because the value of x could be directly used as true or false after XOR with 0s.

x^1s = ~x because the value of x is the opposite of true of false after XOR with 1s.