Логические правила

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

• Сокращение монотонных функций. Если нужно проверить, превысила ли неубывающая монотонная функция нескольких переменных некоторый порог, значения оставшихся переменных после достижения порога учитывать уже не нужно.

• Изменение порядка проверок. Логические проверки должны быть расположены так, чтобы более быстрые условия, которые чаще оказываются правильными, стояли перед более медленными условиями, которые реже оказываются правильными.

• Предварительное вычисление логических функций.. Логическая функция на небольшом множестве исходных значений может быть заменена таблицей, представляющей это множество.

• Удаление булевских переменных. Булевские переменные могут быть убраны из программы с помощью замены операции присваивания такой переменной некоторого значения оператором if…else, в котором одна ветвь относится к случаю, когда переменная истинна, а другая – к случаю, когда эта переменная оказывается ложной.