Задача #1682

Логические выражения

Уровень ЕГЭ

(Л. Шастин) Для какого наименьшего целого неотрицательного числа А формула

$($x^2$ + $y^2$ > 1024 - x) ∨ (y < -2x + A)$

тождественно истинна, т.е. принимает значение 1 при любых целых неотрицательных x и y?