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