Некоторые методы оптимизации логических операций в компьютерных программах:

• Упрощение логических выражений. 1 Происходит путём применения логических законов (например, коммутативности, ассоциативности, дистрибутивности) и минимизации Булевых функций (метод Квайна-Мак-Класки, карты Карно и другие). 1 Также удаляется неиспользуемая логика. 1
• Перестановка логических подвыражений. 4 За счёт этого можно получить выигрыш во времени выполнения кода, не ухудшая его читаемость и не увеличивая размер на выходе компилятора. 4
• Использование предопределённых значений. 25 Операция логического сложения (or) предопределена для логического значения «истина» (true), а операция логического умножения — для логического значения «ложь» (false). 5 Компиляторы строят объектный код вычисления логических выражений таким образом, что вычисление выражения прекращается сразу же, как только его значение становится предопределённым. 25
• Расположение операндов. 5 Операнды в логических выражениях следует располагать таким образом, чтобы в первую очередь вычислялись те из них, которые чаще определяют всё значение выражения. 5 Кроме того, значения функций лучше вычислять в конце, а не в начале логического выражения, чтобы избежать лишних обращений к ним. 5