ЕГЭ по информатике. Решение 1 варианта задачи №18 досрочного экзамена 2020 года.

Решение задачи: Для какого наименьшего целого неотрицательного числа А выражение (x + 2y меньше A) ∨ (y больше x) ∨ (x больше 20) тождественно истинно, т.е. принимает значение 1 при любых целых неотрицательных x и y?