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