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

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

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 (заем из i-го разряда) формируется значение булевых функций Р_i, и З_i. Введем следующие обозначения.

a_i Þ x Р_i Þ Р, где Р_i – значение разности в разряде i

b_i Þ y З_i Þ З З_i – значение заема в разряд i

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

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

Таблица 25

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