Логическое выражение максимально упрощается до выражения