A Novel Mathematical Formal Proof in Unreliability Protocol with XOR in Two\u27s Complement System

Exclusive OR (XOR), a common Boolean logical operation, is an operation on two factors where the result is true if and only if one operand is true and the other is false. A simple way to state this is ``one or the other, but not both\u27\u27. Using this logical operation, a text string can be encrypted by applying the XOR operator to every character using a ``key\u27\u27. If you want to decrypt the output, simply reapply the key and the resulting output will be the original message