Это комбинационное устройство, реализующее вычитание двух одноразрядных чисел.



Из соответствующих выражений для суммы с переносами и для разности с заемами можно видеть, что S и D – идентичны, а P и V – отличны.
Если вместо
поставить
, а вместо
–
, то 
Это значит, что вычитание можно заменить суммированием, представив вычитание в обратном коде с учетом инверсии функции заема. Это необходимо для построения сумматора, выполняющего сложение чисел с произвольными знаками.