Статья Автор: Деникина Н.В., Деникин А.В.

test

78125 ≠ y + 4x ∨ (A > x ∧ A > y)

 

Логика решения:

  1. Красная линия — точки где y + 4x = 78125 (первая часть OR становится ЛОЖНОЙ)
  2. Зелёный квадрат — область где A > x И A > y (вторая часть OR ИСТИННА)
  3. Чтобы всё выражение было ИСТИННО при ЛЮБЫХ x, y — нужно чтобы вся красная линия лежала внутри зелёного квадрата
  4. Самая "далёкая" точка красной линии: (1, 78121) — там y максимально
  5. Значит нужно A > 78121, минимальное целое: A = 78122
 
Печать