Рассмотрим логическое выражение:
[
(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.