OF = CF xor SF — это правда?

Со мной многие нейросети спорили, пытались доказать обратное. Но в итоге, когда я попросил их привезти прям конкретные примеры неработоспособности, они сдались и согласись.

Компьютерные гуру архитектуры процессоров и АЛУ, что вы скажете насчёт этого? Это уравнение тождественно? (Не считая случаев с DEC/INC, тут может быть неверный ответ, но это не логическая или арифметическая операция)