Изменения

Следующий столбец <tex>R[j]</tex> получается операцией побитового логического сложения <tex>or</tex> вектора <tex>Bit-Shift'(R[j - 1])</tex> и вектора <tex>W(t[j])</tex>. Здесь <tex>W(t[j]) = not \ U(t[j])</tex>, а <tex>Bit-Shift'(R[j - 1])</tex> - сдвиг вектора <tex>R[j - 1]</tex> на одну позицию вниз с записью <tex>0</tex> в первой позиции.  <tex>R[j] = Bit-Shift(R[j - 1]) \ or \ UW(t[j])</tex> Очевидно, что алгоритм <tex>Shift-Or</tex> корректен, так как данная формула получается применением логического отрицания к аналогичной формуле для алгоритма <tex>Shift-And</tex>, корректность которого была доказана выше.