Операция логического умножения

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

Умножение на 2-1 означает сдвиг кода числа, стоящего в скобках, вправо на один разряд. После перехода к сравнениям контрольный код для логического умножения, получается, по формуле ,

где — контрольный код суммы, сдвинутый вправо на один разряд: — инверсия контрольного кода логической суммы чисел, сдвинутой на разряд вправо.

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