a | b | ci | ab | a xor b | (a xor b) xor ci | (a xor b) ci | ((a xor b) ci) + ab | s | c0 |
---|---|---|---|---|---|---|---|---|---|
0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
0 | 0 | 1 | 0 | 0 | 1 | 0 | 0 | 1 | 0 |
0 | 1 | 0 | 0 | 1 | 1 | 0 | 0 | 1 | 0 |
0 | 1 | 1 | 0 | 1 | 0 | 1 | 1 | 0 | 1 |
1 | 0 | 0 | 0 | 1 | 1 | 0 | 0 | 1 | 0 |
1 | 0 | 1 | 0 | 1 | 0 | 1 | 1 | 0 | 1 |
1 | 1 | 0 | 1 | 0 | 0 | 0 | 1 | 0 | 1 |
1 | 1 | 1 | 1 | 0 | 1 | 0 | 1 | 1 | 1 |
Note (a xor b) ci + ab and co match