logical equivalence of xor code example

Example: XOR

0 | 0 | 0
 0 | 1 | 1
 1 | 0 | 1
 1 | 1 | 0
 ONLY ONE CAN BE TRUE