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