К содержанию
К списку задач

ЕГЭ 15 · Законы математической логики

Законы математической логики

(Л. Шастин) Для какого наименьшего целого неотрицательного числа А формула ($x2$ + $y2$ > 1024 - x) ∨ (y < -2x + A) тождественно истинна, т.е. принимает значение 1 при любых целых неотрицательных x и y?

Запишите ответ в формате, указанном в условии.