Сколько существует целых значений А, при которых формула
\( ( (x \geq 11) \rightarrow (x⋅x+2⋅x > A) ) \land ( (y⋅y + 3⋅y \geq A) \rightarrow (y > 8) )\)
тождественно истинна (то есть принимает значение 1 при любых целых неотрицательных значениях переменных x и y)?