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



