Как преобразовать логические выражения для оптимизации кода?

Для преобразования логических выражений с целью оптимизации кода можно использовать следующие методы:

• Перестановка логических подвыражений. dzen.ru Это позволяет получить выигрыш во времени выполнения кода, не ухудшая его читаемость и не увеличивая размер на выходе компилятора. dzen.ru
• Оптимизация вычисления логических выражений. csc.sibsutis.ru Не всегда необходимо полностью вычислять всё выражение для того, чтобы знать его результат. csc.sibsutis.ru Например, если А = true, не имеет смысла вычислять выражение. csc.sibsutis.ru Компиляторы строят объектный код вычисления логических выражений таким образом, что вычисление выражения прекращается сразу же, как только его значение становится предопределённым. csc.sibsutis.ru
• Создание дерева выполнения выражения. stackoverflow.com Это позволяет минимизировать количество раз, когда вычисляется каждое выражение. stackoverflow.com

Также для преобразования логических выражений можно использовать дистрибутивные законы и метод Квайна-Мак-Класки. essebot.ru