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

Задача . 2912


Задача

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

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

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