intro to XOR section only describes 3 of the 4 states. Later you explain 0+0=0 but should also do it here.
5.1 Description
Exclusive or, often called “XOR”, is a Boolean1 binary2 operator that is true when either the first input or the second input, but not both, are true.