Задание EGEINFA43280: Логические выражения и уравнения

Исходное выражение: (x > A) ∨ (y > A) ∨ (x+2y < 100).
По условию x и y — целые неотрицательные числа.
Дизъюнкция ложна только тогда, когда все её части ложны одновременно. Рассмотрим область, в которой части без нужного ограничения на A уже ложны. Именно в ней оставшаяся часть должна быть истинной.
Первые две части ложны в области 0 ≤ x ≤ A и 0 ≤ y ≤ A. Здесь x + 2y ≤ A + 2A = 3A, причём равенство достигается при x = y = A.
Для истинности третьей части на всей области необходимо и достаточно 3A < 100.
Проверяем ближайшие целые значения: 3 · 33 = 99 < 100, но 3 · 34 = 102 ≥ 100.
Следовательно, наибольшее подходящее A равно 33. При любом большем A пара x = y = A делает все три части ложными.

Проверка граничной пары: x = 34, y = 34. Найденное значение A = 33 сохраняет истинность формулы.
За пределами рассмотренной области хотя бы одна из остальных частей дизъюнкции истинна автоматически. Внутри области доказана необходимая оценка и показана достигающая её допустимая пара, поэтому проверка распространяется на все входные значения.
Ответ: 33.