Modulo 2 arithmetic is central to much real world error correction, so here’s a brief explanation (as much to aid my memory as anything else):
ie,
The observant will have noticed this is equivalent to XOR, the eXclusive OR.
There is no carrying in modulo 2 arithmetic, hence subtraction generates the same result as addition, ie: