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

Задача . fipi-C19715


Задача

Темы:
На числовой прямой даны два отрезка: P = [20, 50] и Q = [30,65]. Отрезок A таков, что формула
¬(x A) → ((x P) →¬ (x Q))
 
истинна при любом значении переменной x. Какова наименьшая возможная длина отрезка A?
 

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

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