Одноразрядный двоичный сумматор.

При сложении двух чисел описанные в предыдущем пункте действия совершаются лишь в первом (самом младшем) разряде ячеек, хранящих слагаемые. Во всех же остальных разрядах, начиная со второго, в процессе сложения участвуют уже не два слагаемых , но еще и число, переносимое из предыдущего разряда и равное значению функции переноса в этом разряде. Таким образом, функция сумма в k-ом разряде (k≥2) зависит от трех аргументов, то есть . От этих же аргументов зависит и .