Решение: Логическое выражение с параметром
Для какого наибольшего целого неотрицательного числа $A$ выражение $(x>A) \lor (y>A) \lor (x+2y<100)$ тождественно истинно, то есть принимает значение 1 при любых целых неотрицательных $x$ и $y$?
Решение по шагам
4 шагаДизъюнкция ложна только тогда, когда ложны все её части:
$$x \leq A,\quad y \leq A,\quad x+2y \geq 100$$При ограничениях $x \leq A$ и $y \leq A$ наибольшее возможное значение суммы $x+2y$ достигается при $x=A$ и $y=A$:
$$x+2y \leq A+2A=3A$$Чтобы не существовало значений $x$ и $y$, при которых выражение ложно, необходимо и достаточно, чтобы $3A<100$.
$$3A<100 \Rightarrow A<\frac{100}{3}$$Наибольшее целое неотрицательное значение параметра:
$$A=33$$Где здесь ошибаются
Используют условие $3A\leq 100$ вместо строгого неравенства.
Проверяют только отдельные значения $x$ и $y$, не рассматривая случай $x=A$, $y=A$.