К содержимому
← Задачи

15_0247

базовый
делимость · порог-контрпримера · руками · python
источникСборник 2026
2025-2026
Перейти к ответу

Обозначим через $\operatorname{ДЕЛ}(n,m)$ утверждение «натуральное число $n$ делится без остатка на натуральное число $m$». Для какого наименьшего натурального числа $A$ логическое выражение

$$(\operatorname{ДЕЛ}(x,14) \to \lnot\operatorname{ДЕЛ}(x,4)) \lor (x + A \ge 200)$$

истинно (т. е. принимает значение $1$) при любом целом положительном значении переменной $x$?

ИНСТРУМЕНТЫ