Здравствуйте, Eugeny1984!
Используем:
B --> C = not(B) + C
Получим систему:
(x*x > A) + (x <= 7) = 1
(y >= 4) + (y*y <= A) =1
(x >= 0)
(y >= 0)
Рассмотрим первое выражение (x*x > A) + (x <= 7) = 1
Если (x <= 7) = True, то от A ничего не зависит, А - любое.
Но так будет не всегда.
Поэтому рассмотрим случай, когда (x <= 7) = False, то есть (x > 7) = True.
В этом случае должно быть (x*x > A) = True.
В целых числах получаем: (x > 7) = True, тогда (x >= 8) = True,
(x*x > A) = True, тогда (64 > A) = True, А <= 63.
Выражение (x*x > A) + (x <= 7) будет тождественно истинным при любых целых неотрицательных x, если А <= 63. Рассмотрим второе выражение (y >= 4) + (y*y <= A) =1
Если (y >= 4) = True, то от A ничего не зависит, А - любое.
Но так будет не всегда.
Поэтому рассмотрим случай, когда (y >= 4) = False, то есть (y < 4) = True.
В этом случае должно быть (y*y <= A) = True.
В целых числах получаем: (y < 4) = True, тогда (y <= 3) = True,
(y*y <= A) = True, тогда (9 <= A) = True, А >= 9.
Выражение (y >= 4) + (y*y <= A) будет тождественно истинным при любых целых неотрицательных y, если А >= 9. Данная в условии формула тождественно истинна при любых целых неотрицательных x и y, если A принадлежит отрезку [9; 63]. Наименьшее целое А = 9.
Ответ: 9.
Замечание Вы пишете:
цитата: |
Отсюда получаю Y>=4. Подскажите, пожалуйста, где здесь у меня ошибка? |
|
Ошибка, например, такая: как было показано выше, если (y >= 4) = True, то от A ничего не зависит, А - любое.
В ходе решения задачи необходимо исключить случаи, когда от А ничего не зависит.