Рассмотрим логическое выражение:
\[ (y < x) \lor (x < 20) \lor (x + 2y > D) \]
Наша цель — найти наибольшее целое неотрицательное число \( D \), при котором это выражение всегда истинно, то есть принимает значение 1 при любых неотрицательных целых значениях переменных \( x \) и \( y \).
Чтобы преодолеть эту задачу, начнем с анализа условий, при которых выражение будет ложным.
Шаг 1: Анализ условий
Выражение будет ложным, если все его части ложны. Рассмотрим каждую из составных частей:
- \( y < x \): это условие ложно, если \( y \geq x \).
- \( x < 20 \): это условие ложно, если \( x \geq 20 \).
- \( x + 2y > D \): это условие ложно, если \( x + 2y \leq D \).
Так, чтобы всё выражение было ложным, необходимо, чтобы все три условия были одновременно ложными, что возможно, если бы существовали такие значения \( x \) и \( y \), при которых все они выполнялись бы.
Шаг 2: Подбор значений \( x \) и \( y \)
Чтобы проверить, что следующее условие возможно, возьмем \( x = 20 \) и \( y = 20 \) (так как мы ищем неотрицательные целые числа):
- Условие \( y < x \) становится \( 20 < 20 \) (ложно).
- Условие \( x < 20 \) становится \( 20 < 20 \) (ложно).
- Условие \( x + 2y > D \) становится \( 20 + 40 > D \) или \( 60 > D \).
Таким образом, из трех условий нам нужно, чтобы \( D \) было меньше или равно 60, чтобы всего одно из условий оставалось истинным.
Шаг 3: Наибольшее целое неотрицательное число \( D \)
Наибольшее целое неотрицательное число, которое подходит под эти условия, будет равно:
\[ D = 60 \]
Заключение
Итак, наибольшее целое неотрицательное число \( D \) для этого логического выражения, чтобы оно оставалось тождественно истинным, равно 60.