Interested Article - Полусумматор

Обобщённое изображение полусумматора.

Полусумма́тор комбинационная логическая схема , имеющая два входа и два выхода (двухразрядный сумматор, бинарный сумматор). Полусумматор позволяет вычислять сумму A+B , где A и B — это разряды (биты) обычно двоичного числа, при этом результатом будут два бита S и C , где S — это бит суммы по модулю 2, а C — бит переноса.

Существуют сумматоры и полусумматоры работающие не в двоичной логике.

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

Двоичный полный сумматор строится из двух полусумматоров и логического элемента 2ИЛИ, именно поэтому рассматриваемая схема называется полусумматором.

Полусумматоры используется для построения полных сумматоров .

История

  • 1642 год - француз Блез Паскаль изобрёл механический десятичный полный (трёхоперандный, с единицей переноса) сумматор и начал создавать суммирующую машину « Паскалину », первый разряд в которой был полусумматором (двухоперандным, без единицы переноса из предыдущего разряда). Из-за сложности французской денежной системы тех времён, в « Паскалине » были механические полусумматоры и других значностей ("-ичностей").
  • 1673 год - Готфрид Лейбниц построил механический десятичный арифмометр Лейбница , первый разряд в котором был механическим десятичным полусумматором (двухоперандным, без единицы переноса из предыдущего разряда).
  • 1939 год Джордж Штибиц (Georg Stibits) из компании Bell Laboratories создал первый двоичный полусумматор «Model K Аdder» на двух электромеханических реле .
  • 1958 год — в МГУ (мехмат) Н. П. Брусенцов построил первую электронную троичную ЭВМ « Сетунь » с первым электронным троичным полусумматором .

Двоичный полусумматор

Стандартное изображение двоичного полусумматора по .
Полусумматор, реализованный на элементах ИСКЛЮЧАЮЩЕЕ ИЛИ и И .
Полусумматор, реализованный на элементах ИЛИ с инверсными входами и И .

Двоичный полусумматор может быть определён тремя способами:

  1. табличным, в виде таблиц истинности ,
  2. аналитическим, в виде формул ( СДНФ ),
  3. графическим, в виде логических схем.

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

Двоичный полусумматор формирует две бинарные (двухоперандные) двоичные логические функции: это сумма по модулю два , иначе эта функция называется ИСКЛЮЧАЮЩЕЕ ИЛИ ( XOR ) — формирует бит суммы S и функция И ( AND ) - формирует бит переноса C .

S
1 1 0
0 0 1
0 1
C
1 0 1
0 0 0
0 1

или в другом виде:

x 0 =A 1 0 1 0
x 1 =B 1 1 0 0 Название действия (функции) Номер функции
S 0 1 1 0 Бит суммы по модулю 2 F2,6
C 1 0 0 0 Бит переноса F2,8
Ненулевой перенос образуется в 1-м случае из 4-х.

СДНФ суммы по модулю 2:

СДНФ бита переноса:

Полусумматор Штибица «Model K Аdder»

Демонстрационный полусумматор Штибица «Model K Аdder» используется в учебных целях и состоит: из двух последовательно соединённых гальванических элементов, по 1,5 Вольта каждый, с суммарным напряжением 3 Вольта, двух кнопок для ввода двух битов аргументов A и B , двух электромагнитных реле, выполняющих бинарную двоичную логическую функцию сложения по модулю 2 и бинарную двоичную логическую функцию бита переноса при двоичном сложении, и двух лампочек накаливания с напряжением 3 Вольта для индикации бита суммы по модулю 2 ( S ) и бита переноса ( C )

Троичный полусумматор

Так как существуют две троичных системы счисления — несимметричная, в которой в разряде переноса не бывает значения больше «1» и симметричная (Фибоначчи), в которой в разряде переноса возможны все три состояния трита, и, как минимум, три физических реализации троичных систем — трёхуровневая однопроводная, двухуровневая двухпроводная (BCT) и двухуровневая трёхбитная одноединичная, то и троичных полусумматоров может быть большое множество.

Троичный полусумматор в несимметричной троичной системе счисления представляет собой объединение двух бинарных троичных логических функций — «сложение по модулю 3» и «разряд переноса при троичном сложении».

S
2 2 0 1
1 1 2 0
0 0 1 2
0 1 2
C
2 0 1 1
1 0 0 1
0 0 0 0
0 1 2

или в другом виде:

x 1 =x 2 2 2 1 1 1 0 0 0
x 0 =y 2 1 0 2 1 0 2 1 0 Название действия (функции) Номер функции
S 1 0 2 0 2 1 2 1 0 Трит суммы по модулю 3 102021210 3 =8229 10
C 1 1 0 1 0 0 0 0 0 Трит переноса 110100000 3 =8991 10

Троичный полусумматор в симметричной троичной системе счисления является также и полувычитателем и представляет собой объединение двух бинарных троичных логических функций — «младший разряд (трит) суммы-разности» и «старший разряд (трит) суммы-разности (разряд переноса при сложении-вычитании в троичной симметричной системе счисления)».

Троичный полусумматор.
S
+1 0 +1 -1
0 -1 0 +1
-1 +1 -1 0
-1 0 +1
C
+1 0 0 +1
0 0 0 0
-1 -1 0 0
-1 0 +1

или в другом виде:

x 1 =x 1 1 1 0 0 0 7 7 7
x 0 =y 1 0 7 1 0 7 1 0 7 Название действия (функции) Номер функции
S 7 1 0 1 0 7 0 7 1 Младший трит суммы F710107071=F-4160
C 1 0 0 0 0 0 0 0 7 Старший трит суммы (трит переноса) F100000007=F6560

Цифра «7» здесь обозначает «-1»

Ненулевой перенос образуется в 2-х случаях из 9-ти.

Троичный трёхуровневый полусумматор описан в .

Троичный двухбитный двухпроводный бинарный (двухоперандный) одноразрядный (BCT) полусумматор, работающий в несимметричной троичной системе счисления приведён в , в разделе BCT Addition, в подразделе (f) Circuit diagram и, с ошибочным названием «двухразрядный BCT сумматор», в на рисунке.

На рисунке справа приведена схема троичного несимметричного полусумматора в трёхбитной одноединичной системе троичных логических элементов, описанного в .

Троичный зеркально-симметричный одноразрядный полусумматор описан в .

Десятичный полусумматор

Состоит из двух таблиц размером 10х10. Первая таблица — суммы по модулю 10, вторая таблица — единицы переноса при бинарном (двухоперандном) десятичном сложении .

S
9 9 0 1 2 3 4 5 6 7 8
8 8 9 0 1 2 3 4 5 6 7
7 7 8 9 0 1 2 3 4 5 6
6 6 7 8 9 0 1 2 3 4 5
5 5 6 7 8 9 0 1 2 3 4
4 4 5 6 7 8 9 0 1 2 3
3 3 4 5 6 7 8 9 0 1 2
2 2 3 4 5 6 7 8 9 0 1
1 1 2 3 4 5 6 7 8 9 0
0 0 1 2 3 4 5 6 7 8 9
0 1 2 3 4 5 6 7 8 9
C
9 0 1 1 1 1 1 1 1 1 1
8 0 0 1 1 1 1 1 1 1 1
7 0 0 0 1 1 1 1 1 1 1
6 0 0 0 0 1 1 1 1 1 1
5 0 0 0 0 0 1 1 1 1 1
4 0 0 0 0 0 0 1 1 1 1
3 0 0 0 0 0 0 0 1 1 1
2 0 0 0 0 0 0 0 0 1 1
1 0 0 0 0 0 0 0 0 0 1
0 0 0 0 0 0 0 0 0 0 0
0 1 2 3 4 5 6 7 8 9

Одноразрядное двухоперандное (двухаргументное) десятичное сложение является одной из бинарных (двухаргументных, двухоперандных, двухвходовых) десятичных логических функций с бинарным (двухразрядным) результатом, имеющей кроме собственного номера и собственное название словами: " одноразрядный десятичный полусумматор ".

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

Всего существует простейших бинарных с бинарным (двухразрядным) результатом десятичных логических функций (2 децита -> 2 децита), где m - количество аргументов функции (входная "-арность"), а n - количество результатов действия функции (выходная "-арность"), что больше всех больших чисел Дирака вместе взятых и числа Шеннона (оценочное минимальное количество неповторяющихся шахматных партий, вычисленное в 1950 году американским математиком Клодом Шенноном , составляет приблизительно ) впридачу.

Одноразрядное двухоперандное (двухаргументное) десятичное сложение можно также представить, как комбинацию (объединение двух) бинарных (двухаргументных, двухоперандных, двухвходовых) десятичных логических функцией с унарным (одноразрядным) результатом, имеющих кроме собственных номеров и собственные названия словами: "одноразрядное десятичное бинарное сложение по модулю 10" и "единица переноса в следующий разряд при одноразрядном десятичном бинарном сложении".

Всего существует простейших бинарных с унарным (одноразрядным) результатом десятичных логических функций (2 децита -> 1 децит).

Номер функции "одноразрядное десятичное бинарное сложение по модулю 10" содержит все значения функции при переборе значений аргументов от 0 до 9 и относительно просто получается из таблицы десятичного полусумматора: 8765432109 7654321098 6543210987 5432109876 4321098765 3210987654 2109876543 1098765432 0987654321 9876543210 (пробелы отделяют по 10 знаков в номере функции).

Номер функции "единица переноса в следующий разряд при одноразрядном десятичном бинарном сложении" содержит все значения функции при переборе значений аргументов от 0 до 9 и тоже относительно просто получается из таблицы десятичного полусумматора: 1111111110 1111111100 1111111000 1111110000 1111100000 1111000000 1110000000 1100000000 1000000000 0000000000 (пробелы отделяют по 10 знаков в номере функции).

Так как в разряде переноса не бывает значения больше 1, то разряд переноса в одноразрядном десятичном полусумматоре является более простой десятичной функцией с унарным (одноразрядным) двоичным результатом (2 децита -> 1 бит ).

Шестнадцатиричный полусумматор

Состоит из двух таблиц размером 16х16. Первая таблица — суммы по модулю 16, вторая таблица — единицы переноса при бинарном (двухоперандном) шестнадцатиричном сложении.

S
F F 0 1 2 3 4 5 6 7 8 9 A B C D E
E E F 0 1 2 3 4 5 6 7 8 9 A B C D
D D E F 0 1 2 3 4 5 6 7 8 9 A B C
C C D E F 0 1 2 3 4 5 6 7 8 9 A B
B B C D E F 0 1 2 3 4 5 6 7 8 9 A
A A B C D E F 0 1 2 3 4 5 6 7 8 9
9 9 A B C D E F 0 1 2 3 4 5 6 7 8
8 8 9 A B C D E F 0 1 2 3 4 5 6 7
7 7 8 9 A B C D E F 0 1 2 3 4 5 6
6 6 7 8 9 A B C D E F 0 1 2 3 4 5
5 5 6 7 8 9 A B C D E F 0 1 2 3 4
4 4 5 6 7 8 9 A B C D E F 0 1 2 3
3 3 4 5 6 7 8 9 A B C D E F 0 1 2
2 2 3 4 5 6 7 8 9 A B C D E F 0 1
1 1 2 3 4 5 6 7 8 9 A B C D E F 0
0 0 1 2 3 4 5 6 7 8 9 A B C D E F
0 1 2 3 4 5 6 7 8 9 A B C D E F
C
F 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1
E 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1
D 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1
C 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1
B 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1
A 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1
9 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1
8 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1
7 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1
6 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1
5 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1
4 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1
3 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1
2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1
1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
0 1 2 3 4 5 6 7 8 9 A B C D E F

См. также

Примечания

  1. Computer History Museum
  2. от 19 июля 2013 на Wayback Machine Малая автоматическая цифровая машина «Сетунь». Н. П. Брусенцов, Е. А. Жоголев, В. В. Веригин, С. П. Маслов, А. М. Тишулина
  3. от 14 февраля 2019 на Wayback Machine Астраханский Государственный Технический Университет, Кафедра «Автоматизированные системы обработки информации и управления», Курсовая работа по дисциплине «Объектно-ориентированное программирование» по специальности 220200 «Автоматизированные системы обработки информации и управления», Выполнили Морозов А. В., Спандерашвили Д. В., Алтуфьев М. Ю., Проверил к.т. н., доц. Лаптев В. В., Гл. XXIV Троичный полусумматор. Астрахань-2001 г.
  4. от 21 января 2022 на Wayback Machine CS1Q Computer Systems
  5. от 7 октября 2013 на Wayback Machine Троичная цифровая техника. Ретроспектива и современность
  6. . Дата обращения: 20 ноября 2015. 20 ноября 2015 года.
  7. . Дата обращения: 28 сентября 2010. Архивировано из 30 октября 2010 года.
  8. . Дата обращения: 3 апреля 2013. 2 апреля 2013 года.
Источник —

Same as Полусумматор