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

Задача . П 186


Задача

Темы:
На числовой прямой даны отрезки A = [27; 54], B = [32; 46] и C = [N; 70] и функция
F(x) = (¬ (x  B) → ¬ (x  A) ) /\ (¬ (x  C) → (x  B) )
При каком наибольшем числе N функция F(x) истинна более чем для 25 целых чисел x?

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

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