Сумматор двоичных чисел

Для упрощения работы компьютера все многообразие математических операций в процессоре сводится к сложению двоичных чисел. Поэтому главной частью процессора являются сумматоры, которые как раз и обеспечивают такое сложение.

Полусумматор:

Таблица сложения одноразрядных двоичных чисел с учетом переноса в старший разряд выглядит следующим образом:

Слагаемые	Перенос	Сумма
А	В	Р	S

Из таблицы видно, что перенос можно реализовать с помощью операции логического умножения: P = A&B.

Для определения суммы можно применить следующее логическое выражение: S = (A B) & (A&B).

Построим таблицу истинности для данного логического выражения и убедимся в правильности нашего предположения.

Таблица истинности логической функции F = (A B) & (A&B).

A	B	A B	A&B	A&B	(A B) & (A&B)

Теперь на основе полученных логических выражений можно построить из базовых логических элементов схему сложения одноразрядных двоичных чисел.

По логической формуле переноса легко определить, что для получения переноса необходимо использовать логический элемент «И».

Анализ логической формулы для суммы показывает, что на выходе должен стоять элемент логического умножения «И», который имеет два входа. На один из входов надо подать результат логического сложения исходных величин А и В, то есть на него должен подаваться сигнал с элемента логического сложения «ИЛИ».

На второй вход требуется подать результат инвертированного логического умножения исходных сигналов (A & B), т.е. на второй вход должен подаваться сигнал с элемента «НЕ», на вход которого должен поступать сигнал с элемента логического умножения «И».

Данная схема называется полусумматором, так как реализует суммирование одноразрядных двоичных чисел без учета переноса из младшего разряда.

Полный одноразрядный сумматор:

Полный одноразрядный сумматор должен иметь три входа: А, В – слагаемые и Р₀ – перенос из младшего разряда и два выхода: сумму S и перенос Р.

Таблица сложения в этом случае будет иметь следующий вид:

Слагаемые	Перенос из младшего разряда	Перенос	Сумма
A	B	Р0	P	S

Идея построения полного сумматора точно такая же, как и полусумматора. Из таблицы сложения видно, что перенос (логическая переменная Р) принимает значение 1 тогда, когда хотя бы две входные логические переменные одновременно принимают значение 1. Таким образом, перенос реализуется путем логического сложения результатов попарного логического умножения входных переменных (А, В, Р₀).

Формула переноса получает следующий вид:

P = (A & B) (A & Р₀) (B & Р₀).

Для получения значения суммы (логическая переменная S) необходимо результат логического сложения входных переменных (A,B, Р₀) умножить на инвертированный перенос Р: S = (A B Р₀) & P.

Данное логическое выражение дает правильные значения суммы во всех случаях, кроме одного, когда на все входные логические переменные принимают значение 1.

Действительно: P = (1 & 1) (1 & 1) (1 & 1) = 1;

S = (1 1 1) & P = 1 & 0 = 0.

Для получения правильного значения суммы (для данного случая переменная S должна принимать значение 1) необходимо сложить полученное выше выражение для суммы с результатом логического умножения входных переменных (A,B, Р₀). В результате логического выражения для вычисления суммы в полном сумматоре принимает следующий вид: S = (A B Р₀) & Р₀ (A & B & Р₀).