Присоединиться

11 класс·базовый уровень

Для какого наибольшего целого числа А формула ((x ≤ 9) →(x ⋅ x ≤ A)) ⋀

Условие

Для какого наибольшего целого числа А формула ((x ≤ 9) →(x ⋅ x ≤ A)) ⋀ ((y ⋅ y ≤ A) → (y ≤ 9)) тождественно истинна, то есть принимает значение 1 при любых целых неотрицательных x и y?

Ответ

Ответ и полный разбор откроются после входа

Посмотреть ответ

Решение по шагам

  1. Как рассуждать

    Решение. Раскрывая импликацию по правилу A → B = ¬A + B, заменяя логическую сумму совокупностью, а логическое произведение системой соотношений, определим значения параметра А, при котором система совокупностей системавыраженийсовокупностьвыраженийx>9,x2⩽A,конецсистемы.совокупностьвыраженийy2>A,y⩽9конецсовокупности.конецсовокупностисистема выражений совокупность выражений x > 9,x^{2} \leqslant A, конец системы . совокупность выражений y^{2} > A,y \leqslant 9 конец совокупности . конец совокупности будет иметь решения для любых целых неотрицательных чисел.

    Заметим, что переменные не связаны между собой уравнением или неравенством, поэтому необходимо и достаточно, чтобы решениями первой совокупности были все неотрицательные х, а решениями второй совокупности были все неотрицательные y. Решениями неравенства x>9x > 9 являются числа 10, 11, 12, ... Чтобы совокупность выполнялась для всех целых неотрицательных чисел, числа 0, 1, 2, ... 9 должны быть решениями неравенства x2⩽Ax^{2} \leqslant A Значит, A⩾81A \geqslant 81 Аналогично, решениями неравенства y⩽9y \leqslant 9 являются числа 0, 1, ...

Осталось ещё 4 шага

  1. Следовательно, числа 10, 11, 12, ... должны…

  2. Приведём решение на языке Python.for a in…

  3. <= (x * x <= a)) and ((y*y <= a) <= (y <=…

  4. <= (x*x <= a)) and ((y*y <= a)<=(y <=…

Получить полное решение

Бесплатно · займёт минуту

Другие задачи по теме «Преобразование логических выражений»