Ces opérations peuvent être décrites par les tables de vérité suivantes :
a | b | somme | retenue | |
0 | 0 | 0 | 0 | somme(a,b) = a b |
0 | 1 | 1 | 0 | retenue(a,b) = ab |
1 | 0 | 1 | 0 | |
1 | 1 | 0 | 1 |
a | b | différence | retenue | |
0 | 0 | 0 | 0 | différence(a,b) = a b |
0 | 1 | 1 | 1 | retenue(a,b) = b |
1 | 0 | 1 | 0 | |
1 | 1 | 0 | 0 |
Exemple : en binaire naturel
27 + 22 = 49 : 11011 + 10110 = 110001
27 - 22 = 5 : 11011 - 10110 = 000101