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

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

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

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

Задача 1#41965

Для какого наибольшего целого числа A  формула

(x ⋅y > A )∨ (27 > y)∨ (y− 20 ≥ A )∨ (x < 8)

тождественно истинна, (т. е. принимает значение 1  ) при любых положительных значениях переменных x  и y  ?

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

Решение аналитикой

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

(27 ≥ y)∧ (x ≥ 8)

В обоих условиях на A  , значение данной переменной должно быть меньше, чем левая часть данных условий. Следовательно, нам надо взять пару значений x,y  с минимально возможными значениями, чтобы при больших значениях данные условия точно выполнялись.

y = 27,x = 8  :

8∗ 27 > A  , 216 > A  , максимальное значение для A  в данном условии – 215.

27− 20 ≥ A  , 7 ≥ A  , максимальное значение для A  в данном условии – 7.

Поскольку нам достаточно, чтобы выполнялось одно из двух условий, мы выбираем наибольшее из двух A − 215  .

 

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

Перебираем целые значения A  по убыванию (в коде — от 500 до 2). Для каждого A  вложенными циклами for перебираем положительные значения x  и y  (в коде — от 1 до 299) и проверяем выполнение выражения

(x ⋅y > A )∨(27 > y)∨(y − 20 ≥ A) ∨(x < 8).

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

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

# перебираем значения A по убыванию
for a in range(500, 1, -1):
    f = 0  # флаг, показывает наличие ложного выражения
    # перебираем положительные x
    for x in range(1, 300):
        # перебираем положительные y
        for y in range(1, 300):
            # проверяем выражение
            if ((x * y > a) or (27 > y) or ((y - 20) >= a) or (x < 8)) == False:
                f = 1  # выражение ложно, A не подходит
                break
        if f == 1:  # если флаг поднят, выходим из цикла по x
           break
    if f == 0:  # если ложных выражений не найдено
        print(a)  # наибольшее подходящее A
        break

Ответ: 215

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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