Xor Gate Formula Derivation