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

Задача . 18618


Задача

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

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

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