Обозначим через ДЕЛ( n, m ) утверждение «натуральное число n делится без остатка на натуральное число m ». Для какого наибольшего натурального числа А логическое выражение

(¬ДЕЛ( x , А ) ∧ ∧ ДЕЛ( x , 24)) → (¬ДЕЛ( x , 16) ∨ ∨ ¬ДЕЛ( x , 24))

тождественно истинно (т.е. принимает значение 1 при любом неотрицательном целом значении переменной х )?