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