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

15_0245

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

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

Для какого наименьшего натурального числа $A$ формула

$$(ДЕЛ(x,20) \to \lnot ДЕЛ(x,11)) \lor (x + A \ge 300)$$

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

В ответе запишите только число.

ИНСТРУМЕНТЫ