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