Рассмотрим построение логической схемы на примере одноразрядного сумматора, выполняющего арифметическое сложение двоичных чисел
и
,
-го разряда и переноса из младшего разряда
. Пусть
– получаемая сумма, а
– перенос в старший разряд, тогда получаем следующую таблицу истинности такого сумматора.
| | | | |
Отсюда получаем
;
.
Построим схему, соответствующую данному сумматору. Для этого вначале упростим выражение для
. Как легко заметить, выражение для
не упрощается, при использовании предыдущих методов. Для упрощения выражения функции
используем выражение функции
.
Поэтому будем рассматривать
как переменную величину. В результате получаем следующую таблицу, которая содержит избыточные наборы переменных:
| | | | |
Отсюда
.
Используя методы, которые будут рассмотрены в теме 6, нетрудно упростить выражение для
:
=
,
где
.
Теперь строим логическую схему:

Вопросы для самоконтроля






