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

Задача . Задача 4. Отрезки


Задача

Темы:
На числовой прямой даны два отрезка: P = [254; 800] и Q = [410; 823]. Найдите наименьшую возможную длину отрезка A, при котором формула

((x ∈ P) ∧ ¬(x ∈ A)) → (x ∈ Q)

тождественно истинна, то есть принимает значение 1 при любых x.

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

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

Ваш ответ

Для проверки решения задачи необходимо зарегистрироваться или авторизоваться!