Sejam dois números X e Y de N bits e considere que o operador “+” se refere a uma soma de N bits e não a uma operação lógica OU. Dados os complementos bit a bit de X e Y representados por X e Y, respectivamente, a expressão.



quando truncada para N bits, vale