Полусумматор (half adder)
Условное обозначение:

Таблица истинности:

Логические функции для полусумматора имеют вид:
![]()

Полный сумматор обычно строится на двух полусумматорах. При этом в каждом разряде требуется выполнить сложение трех двоичных цифр: цифры данного разряда первого слагаемого 1 x , цифры этого же разряда второго слагаемого 2 x и цифры переноса i P из соседнего младшего разряда.
Условное обозначение полного сумматора:

Таблица истинности полного сумматора:

Логические функции для сумматора имеют вид:

Построим логическую схему полного сумматора с использованием операции «ИСКЛЮЧАЮЩЕЕ ИЛИ».

Последовательный сумматор
Сложение двух трехразрядных двоичных чисел в последовательном сумматоре:

Сумматоры могут использоваться для вычитания двоичных чисел: операция вычитания заменяется сложением уменьшаемого с вычитаемым, представленным в дополнительном коде:
![]()
Представление отрицательного числа в дополнительном коде получается инвертированием всех его битов и добавлением единицы.