Быстрое преобразование Фурье в булевой алгебре
У меня была программа, которая создавала логические выражения с тысячами переменных и операций, страницы за страницами нечитаемой абракадабры типа "… ⋁ (¬A473 ⋀ B732) ⋁ (A232 ⋀ ¬C987) ⋁ …"
Генератор поначалу был довольно глючным. Как мне было найти в нем ошибки?
Не по существу: Роберт Исаакович Фрейдзон сказал мне, что я охуел.