Для какого наименьшего целого неотрицательного числа А логическое выражение
(y < A) ∧ (x <A) ∨ (89 241 < 5y + x)
тождественно истинно (т. е. принимает значение 1) при любых целых положительных x и y?
Логическое выражение будет истиной если истина любое из высказываний у операции или. Чтобы подобрать значение А, надо рассмотреть случаи, когда (89 241 < 5y + x) является ложью, а выражения (y < A) и выражение (x <A) являются истиной.
Рассмотрим максимальные значения х и у.
Рассмотрим значение максимального у, тогда х=1.
Максимальный у равен 17848.
Рассмотрим значение максимального х, тогда у=1.
Максимальный х равен 89236.
Чтобы логическое выражение
(y < A) ∧ (x <A) ∨ (89 241 < 5y + x)
Было истинным для любого А, А должно быть больше и х и у. Тогда наименьшее значение А равно 89237.
Ответ: 89237.

