Page 11 - 4128

Як відомо з курсу машинної арифметики, повний
однорозрядний суматор - це пристрій, який здійснює
додавання за mod 2 відповідних розрядів (X1,X2) двійкових
чисел з врахуванням перенесення (Рm) в даний розряд із
сусіднього молодшого розряду суми. Суматор видає цифру
результату (S) в даному розряді і значення біту перенесення
(Рс) в сусідній старший розряд суми. Таблиця істинності
такого суматора (тобто представлення булевої функції, яку він
реалізує, у вигляді СДНФ) представлена нижче.

Таблиця 1.1 - Таблиця істинності повного однорозрядного
двійкового суматора

X1 0 0 0 0 1 1 1 1
X2 0 0 1 1 0 0 1 1
Pm 0 1 0 1 0 1 0 1
S 0 1 1 0 1 0 0 1
Pc 0 0 0 1 0 1 1 1
P c 0 0 0 1 0 1 1 1

Необхідно одержати булеві функції
S = F1(X1,X2,Рm)
і
Рс = F2(X1,X2,Рm).
Карти Карно для цих функцій приведені нижче
(рис.1.2).

X 1 X 1
X 2 00 01 11 10 X 2 00 01 11 10
P m P m
0 0 1 0 1 0 0 0 1 0

1 1 0 1 0 1 0 1 1 1

Функція S Функція P C

Рисунок 1.2 - Карти Карно для функцій S і P c суматора

10