Реальный вариант ЕГЭ по информатике 2022 №15

Для какого наименьшего натурального числа А формула (ДЕЛ(x, 2) → ¬ДЕЛ(x, 3)) \/ (x + A ≥ 80) тождественно истинна при любом натуральном значении переменной х?