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

Задача . 2911


Задача

Темы:
На числовой прямой даны два отрезка: P = [10, 20] и Q = [5,15]. Выберите такой отрезок A, что формула
( (xQ) → (xP) ) /\ (x A)
тождественно ложна, то есть принимает значение 0 при любом значении переменной х.
1) [0, 6]                   2) [5, 8]                3) [7, 15]              4)[12, 20] 

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

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