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

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

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

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

Задача 1#16308

Для какого наибольшего целого неотрицательного числа A  выражение

(x + 3y > A )∨ (x < 18)∨ (y < 33)

тождественно истинно при любых целых неотрицательных x  и y?

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

Решение 1 (руками)

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

(x ≥ 18) ∧(y ≥ 33)

Это выражение истино (а исходное соответственно ложно) при x ≥ 18  и y ≥ 33  одновременно. Неизвестная часть x + 3y > A  говорит, что сумма x и 3y должна быть больше чем A, тогда возьмем максимальные x и y из известной части, так как они же будут являться минимальными значениями при которых неизвестная часть должна давать истину. Подставим x = 18  и y = 33  , получим 18 + 99 = 117 > A  , отсюда A = 116  .

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

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

(x + 3y > A) ∨(x < 18)∨(y < 33).

Выражение ложное только если x+ 3y ≤ A  , x ≥ 18  и y ≥ 33  одновременно. Нам нужно найти наибольшее A  , при котором условие выполняется для всех x  и y  .

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

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

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

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

Ответ: 116

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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