For the a single bit of output exponent, it's usua...
# openpositarithmetic
a
For the a single bit of output exponent, it's usually basically
(a xor s) xor (b xor s) xor (c xor s) xor s = a xor b xor c xor s xor s xor s xor s = a xor b xor c
.