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

Числа в ЭВМ хранятся в двоичной системе в ячейках памяти поразрядно. С технической точки зрения в двоичной системе оказалось удобно хранить не только числа, но и выполнять над ними различные действия. Так, сложение двоичных чисел осуществляется на основе следующих правил: 0+0=0, 0+1=1, 1+0=1, 1=1=10. Сложение по этим правилам делается по каждому разряду двух ячеек, в которых хранятся слагаемые. Если же происходит переполнение данного разряда (что возможно только при сложении 1+1), то происходит перенос единицы в следующий разряд. Таким образом, процесс сложения в одном разряде может быть охарактеризован двумя булевыми функциями: S(x,y) и P(x,y), зависящими от складываемых чисел x и y. Первая функция S(x,y) представляет собой значение суммы, записываемое в тот же разряд соответствующей ячейки, в котором происходит сложение. Вторая функция – функция переноса P(x,y) – дает значение числа, переносимого в следующий, более старший разряд при переполнении разряда, в котором происходит сложение. Таблица истинности этих функций следующая:

x	y	S(x,y)	P(x,y)
0	0	0	0
0	1	1	0
1	0	1	0
1	1	0	1

Используя СДН – формы, выписываем для них выражения, по которым легко построить соответствующие релейно – контактные схемы : S(x,y) =x ,

P(x,y)=xy.