Преобразование логических выражений

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

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

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

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

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

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

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

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

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

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