Все точки в математической модели подчиняются логическому правилу.
(y < x) ∨ (A > 2x) ∨ (6y + x ≠ 480) = 1
Определите минимальное натуральное значение числа A, при котором правило тождественно истинно (равно 1 при любых натуральных x и y).
Видим операции дизъюнкций. Такое выражение будет тождественно истинным, когда хотя бы одно из выражений в дизъюнкции будет истинным.
1-е Выражение y < x для любых таких y и х будет давать истинность всему выражению и А может быть любым.
Аналогично
3-е выражение 6y + x ≠ 480 для любых таких х и y когда это выполняется даст истинность всему выражению и опять А может быть любым;
Тогда рассмотрим вариант, когда 1-е и 3-е выражения ложны.
То есть х ≤ y и 6y + x = 480
х = 480 - 6y
и подставим это в неравенство
480 - 6y ≥ y
480 ≤ 7y
69 ≤ y (в натуральных числах)
Подставим y = 69 в равенство
х = 480 - 6 • 69 = 66
Заметим, что при росте y, х будет уменьшаться.
Таким образом максимально возможное х, при котором не выполняются 1-е и 3-е выражение : х = 66
Тогда при любом A > 2•66 = 132 будет истинно выражение 2 при ложности 1 и 3
А минимальным А получится = 133
Ответ: А = 133