Олимпиадный тренинг

Задача . Функции 1


Задача

Темы:

На числовой прямой задан отрезок A. Известно, что формула

((x ∈ A) → (x2 ≤ 81)) ∧ ((y2 ≤ 36) → (y ∈ A))

тождественно истинна при любых вещественных x и y. Какую наименьшую длину может иметь отрезок A?


time 1000 ms
memory 256 Mb
Правила оформления программ и список ошибок при автоматической проверке задач

Статистика успешных решений по компиляторам
Комментарий учителя