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

