Тема 15. Алгебра логики – преобразование логических выражений

15.03 Неравенства

Вспоминай формулы по каждой теме
Решай новые задачи каждый день
Вдумчиво разбирай решения
ШКОЛКОВО.
Готовиться с нами - ЛЕГКО!
Подтемы раздела алгебра логики – преобразование логических выражений
Решаем задачу:

Ошибка.
Попробуйте повторить позже

Задача 1#6484

Для какого наибольшего целого неотрицательного числа A  выражение
(99 ⁄= y + 2x) ∨ (A < x) ∨ (A < y)
тождественно истинно (т.е. принимает значение 1 при любом неотрицательном целом значении переменных x  и y)?

Показать ответ и решение

Решение руками:

Инвертируем известную часть:

99 = y + 2x

Пусть y =  1,x = 49  . Чтобы выполнялось условие A  < y  , нужно взять A = 0  , в таком случае условие будет выполняться и для Y  , и для X  .

Если мы возьмём пару y = 3,x = 48  , то теперь наибольшее значение A  уже будет равно 2.

Соответственно, чем больше мы будем брать Y  , тем большее значение A  можно взять.

Но, когда значение Y  станет больше, чем X  , то тогда уже придётся ориентироваться в первую очередь на условие для X  .

Следовательно, чтобы найти наибольшее А, нам нужна такая пара Y,X  , при которой будет выполняться Y  = X  .

Это будет пара Y =  33,X  = 33  , и при таких значениях переменных наибольшее A  будет равно 32.

Идея решения:

Идея заключается в переборе возможных значений A  (от 0  до 999  ) и проверке, что для всех комбинаций x  и y  (от 0  до 999  ) выполняется выражение

(99 ⁄= y + 2x) ∨ (A < x ) ∨ (A < y ).

Если найдётся хотя бы одна пара (x, y)  , для которой выражение ложно, текущее A  отбрасывается. Наибольшее A  , для которого условие выполняется для всех x  и y  , и будет ответом.

Для реализации создаётся функция f(a), которая возвращает True, если для данного a  выражение выполняется для всех x  и y  , и False иначе. Затем с помощью цикла перебираем a  от 0  до 999  и выводим все подходящие значения A  . Наибольшее подходящее A  будет последним выведенным.

Решение программой:

def f(a):  # функция проверяет, выполняется ли выражение для всех x и y при данном a
    for x in range(1000):  # перебор x от 0 до 999
        for y in range(1000):  # перебор y от 0 до 999
         # проверяем выражение: False если условие не выполнено
            if not((99 != y + 2 * x) or (a < x) or (a < y)):
             # если нашли "плохую" пару, возвращаем False
                return False
    return True  # условие выполнено для всех пар, возвращаем True

for a in range(1000):  # перебираем возможные значения A
    if f(a):  # проверяем, подходит ли текущее A
        print(a)  # выводим A, для которого условие истинно

Ответ: 32

Специальные программы

Все специальные программы

Программа
лояльности v2.0

Приглашай друзей в Школково и получай вознаграждение до 10%!

Крути рулетку
и выигрывай призы!

Крути рулетку и покупай курсы со скидкой, которая привязывается к вашему аккаунту.

Бесплатное онлайн-обучение

Для школьников из приграничных территорий России, проживающих в ДНР, ЛНР, Херсонской, Запорожской, Белгородской, Курской, Брянской областях и Крыму.

Налоговые вычеты

Узнай, как получить налоговый вычет при оплате обучения в «Школково».

Специальное предложение
для учителей

Бесплатный доступ к любому курсу подготовки к ЕГЭ, ОГЭ и олимпиадам от «Школково». Мы с вами делаем общее и важное дело, а потому для нас очень значимо быть чем-то полезными для учителей по всей России!

Вернём деньги за курс
за твою сотку на ЕГЭ

Сдать экзамен на сотку и получить обратно деньги за подготовку теперь вполне реально!

cyberpunkMouse
cyberpunkMouse
Рулетка
Вы можете получить скидку в рулетке!