Изменения

Аналогичен алгоритму <tex>Shift\texttt{-}And</tex>, но вместо массива <tex>M</tex> используется массив <tex>R</tex>, определяемый следующим образом:

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

<tex>R[j] = Bit\texttt{-}Shift'(R[j - 1]) \ or \ W([t[j])]</tex>

Очевидно, что алгоритм <tex>Shift\texttt{-}Or</tex> корректен, так как данная формула получается применением логического отрицания к аналогичной формуле для алгоритма <tex>Shift\texttt{-}And</tex>, корректность которого была доказана выше.