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