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

Задача . Задача 5


Задача

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

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

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