Задание №15 — Сложное логическое выражение

К списку заданий
#69664Задание №15ФИПИ
Алгебра логики

Обозначим через ДЕЛ(n, m) утверждение «натуральное число n делится без остатка на натуральное число m». Для какого наименьшего натурального числа А формула
(ДЕЛ(x,20)¬ДЕЛ(x,11))(x+А300)( ДЕЛ ( x , 20 ) \rightarrow \neg ДЕЛ ( x , 11 ) ) \lor ( x + А \geq 300 )
тождественно истинна (т. е. принимает значение 1) при любом натуральном значении переменной х?