Доброго времени суток.
Каюсь, но я уже не помню. Есть необходимость оптимизации критичного по производительности куска кода, отвечающего за построение запроса к индексируемому кэшу, для чего в свою очередь нужно упростить следующее выражение:
(A && B && C) || ((!D && (C || E)) || (D && F && C))