Выражение ((Y > 1) -> (Y > 5)) можно переписать как !(Y>1) V (Y>5), т.е. (Y≤1) V (Y>5), следовательно Y∈(-∞;1] V (5;+∞)Выражение Y<5 инстинно при Y∈(-∞;5)Все выражение будет истинно, когда истинны оба рассмотренные выше подвыражения, тогда условия следует объединить. Y∈(-∞;1]Из перечисленных вариантов подходит только 1