Олимпиадный тренинг

Задача . Логическое выражение, наименьшее A (S1)


Для какого наименьшего целого неотрицательного числа \(A\) выражение

\((y + 2x \ne 740000) \lor (A \gt x) \land (A \gt y)\)

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


time 500 ms
memory 256 Mb
Правила оформления программ и список ошибок при автоматической проверке задач

Статистика успешных решений по компиляторам
Комментарий учителя