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

Задача . кп15-519


Задача

Темы:

(А. Богданов) На числовой прямой даны два отрезка: B = [23; 37] и C = [41; 73]. Укажите наименьшую длину такого отрезка А, для которого логическое выражение

\(\lnot ((\lnot (x \in B) \rightarrow (x \in C)) \rightarrow (x \in A))\)

тождественно ложно, т. е. принимает значение 0 при любом значении переменной x.


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

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