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

На основании этой таблицы выражение для S является функцией двух переменных СЛОЖЕНИЕ ПО МОДУЛЮ 2 (ИСКЛЮЧАЮЩЕЕ-ИЛИ), а для переноса Р – просто функцией совпадения И:
Используя представление в базисе И-НЕ, из таблицы истинности получим
.
Техническая реализация полусумматора представлена на рис.2.

Рис. 2
Полусумматор (рис. 2) не имеет входа переноса с предыдущего разряда, поэтому его можно использовать только в младших разрядах устройства обработки многоразрядных двоичных слов.
Полный одноразрядный сумматор можно построить из двух полусумматоров (рис. 3).

Рис. 3
Полные одноразрядные сумматоры являются основой, из которых получают различные схемы многоразрядных сумматоров.