Задание

Обозначим через ДЕЛ\(n, m\) утверждение «натуральное число n делится без остатка на натуральное число m». Для какого наименьшего натурального числа А формула
\(ДЕЛ\(x, А\) ᴧ ДЕЛ\(x, 17\)) → \(ДЕЛ \(x, 42\) ˅ ¬ ДЕЛ\(x, 17\))
тождесвенно истинна \(то есть принимает значение 1 при любом натуральном значении переменной х\)?