Здравствуйте, Oxaid!
По-моему, его поведение можно описать так:
0, если старший бит результата равен одному из старших битов операндов сложения/вычитания;
1 в противном случае.
Логически:
(ст.бит результата XOR ст.бит первого операнда) AND (ст.бит результат XOR ст.бит второго операнда) = OF
Та самая логическая схема, которую наверняка имел в виду Лысков Игорь Витальевич.

В сдвиговых операциях OF устанавливается в том и только в том случае, если старший бит приёмника изменился. OF = ст.бит до сдвига XOR ст.бит после сдвига.

Вывод: каждая команда по-своему меняет флаги, схема не всюду одинакова.

При умножении, например, просто OF = CF = (старшая половина результата не ноль, что можно представить как (бит0 AND бит1 AND ... AND ст.бит)).

Так что тут изучать и изучать. Удачи!

Здравствуйте, Oxaid!
Процессор не знает, что есть числа со знаком и без знака.
Он все считает в двоичной арифметике и уже на программиста ложится задача контроля правильности вычисленных результатов:
флаг cf устанавливается когда есть перенос со старшего бита (7,15,31 и т.д.)
флаг of устанавливается когда есть пернос с бита 6 в 7 или с 14 в 15 или с 30 в 31, так как для для знаковых чисел испульзуется <знак>+<7,15,31 бит числа>,
вот для защиты бита знака существует флаг of
анализируя флаги of и cf можно принимать решение о достоверности результата.
Надеюсь обьяснил.Удачи!