1679
правок
Изменения
м
ну блин
<Br/>
Построим таблицу зависимости <tex>C_{i+1}</tex> от <tex>X_{i}, Y_{i}, C_{i}</tex>, и введем условные обозначения:
{| border="1"| x || y || <tex> C_i \rightarrow C_{i+1} <Br/tex>[[Файл:Таблица_истиности_для_полного_сумматора.png|350px]]| Условные обозначения ||align="center" | Действие|- align="center"| 0 || 0 || 0 || k(kill) || Поглощение переноса|- align="center"| 0 || 1| rowspan="2"| <tex> P_1 <Br/tex>||rowspan="2"| p(propagate) ||rowspan="2"| Перенос переноса|- align="center"| 1 || 0|- align="center"| 1 || 1 || 1 || g(generate) || Порождение переноса|}
Обозначим композицию действий над переносами значком <tex>\bigotimes</tex> и рассмотрим таблицу:
{| border="1"