Задача #230
Логические выражения
(А. Рогов) Обозначим через ОД(n, m) утверждение «натуральное число n и натуральное число m имеют хотя бы один общий делитель, отличный от 1».
Для какого наименьшего натурального числа А формула
(ОД(x, 42) → ¬ОД(x, 7)) \/ (x + A ≥ 25)
тождественно истинна (т.е. принимает значение 1) при любом натуральном значении переменной х?
Войдите, чтобы история ответов и статистика сохранялись.
Решение
Ответ
18