Пусть есть аппаратный сумматор целых чисел с двумя входными регистрами для операндов.
Пусть, допустим в силу неисправности, младший бит первого регистра всегда равен нулю, то
есть если первый операнд четное число - все хорошо, а если нечетное число, то в регистре он
становится четным в меньшую сторону. Тогда очевидно, что такая операция сложения будет
некоммутативной. Например 2 + 3 = 5, а 3 + 2 = 4. Иными словами, a "плюс" b = 2*trunc(a/2) + b.
|