carry look-ahead adder).
Teoria Tablica prawdy dla sumatora półpełnego i 1-bitowego sumatora pełnego: {| class="wikitable" style="text-align: center" ! colspan="2" |Wejścia ! colspan="2" |Wyjścia |- ! width="25px" | ! width="25px" | ! width="25px" | ! width="25px" | |- | 0 || 0 || 0|| 0 |- | 0 || 1 || 0|| 1 |- | 1 || 0 || 0|| 1 |- | 1 || 1 || 1|| 0
WejściaWyjścia 0 0 0 0 0 0 0 1 0 1 0 1 0 0 1 0 1 1 1 0 1 0 0 0 1 1 0 1 1 0 1 1 0 1 0 1 1 1 1 1
gdzie: – pierwszy składnik sumy, – drugi składnik sumy, – przeniesienie z poprzedniej pozycji, – suma, – przeniesienie.
Wyrażenia boolowskie opisujące sumę i przeniesienie:
Wprowadza się jeszcze oznaczenia: – grupa generacyjna, – grupa propagacyjna.
Można wówczas zapisać przeniesienie:
Sumator z przeniesieniami szeregowymi Sumator ten zbudowany jest z bloków funkcjonalnych, które realizują funkcje i Bloki są połączone kaskadowo (ang. ripple), tzn.