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

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


Задача

Темы:

(А. Богданов) На числовой прямой дан отрезок Q = [29; 47]. Обозначим через ДЕЛ(n, m) утверждение \«натуральное число n делится без остатка на натуральное число m\». Определите наименьшее натуральное число A, такое что выражение

\(( \lnot ДЕЛ(x, 3) \land x ∉ {48, 52, 56}) \rightarrow (( |x — 50| ⩽ 7) \rightarrow ( x \in Q )) \lor (x \& A = 0)\)

тождественно истинно (то есть принимает значение 1 при любом натуральном значении переменной x)?


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

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