ID: 15.50005 • Источник: Сборник С. С. Крылова 2024 • Сложность: basic

Задание №15

ДЕЛ
Обозначим через ДЕЛ(n, m) утверждение «натуральное число n делится без остатка на натуральное число m». Для какого наименьшего натурального числа А формула
(ДЕЛ(х, 13) → ¬ДЕЛ(х, 21)) ∨ (х + А ≥ 500)
тождественно истинна (т. е. принимает значение 1) при любом натуральном значении х?