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

Задача . 564


Задача

Темы:
На числовой прямой даны два отрезка: P = [15; 40] и Q = [21; 63]. Укажите наименьшую возможную длину такого отрезка A, что формула
(x P) → (((x Q) Ù ¬(x A)) → ¬(x P))
тождественно истинна, то есть принимает значение 1 при любом натуральном значении переменной х?
 

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

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