Синтез одноразрядного комбинационного вычитателя

Пусть имеется два числа

A=a₁a₂ . . . a _i-1a _ia _i+1 . . . a_n

B=b₁b₂ . . . b _i-1b_ib _i+1 . . . b_n

В зависимости от значений аргументов a_i, b_i, z_i формируется значение булевых функций C_i, и П_i. Введем следующие обозначения.

a_i Þ x Р_i Þ Р - функция разности

b_i Þ y З_i Þ З - функция заема

z_i Þ z - заем из i-го разряда

Таблица истинности, соответствующая устройству, выполняющему операцию вычитания, имеет следующий вид.

Таблица 25.

	x	y	z	Р	З
						Выполним склеивания 1 и 3, 2 и 3, 3 и 4 наборов
						С
						Как видно функция разности P и суммы С сов-
						падают (функция С получена ранее).