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

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

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

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

Задача 1#29686

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

(          )
 x + 16y > A ∨ (x < 1287)∨ (y < 5)

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

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

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

Система для врагов:

(
|| x+  1y ≤ A,
|{     6
| x ≥ 1827,
||(
  y ≥ 5

Самое сильное ограничение для A  в системе будет при наименьших x  и y,  т. е. при 18-
27  и 5  соответственно.

Тогда для друзей имеем:    18
5+ 27 ⋅6 > 6⋅A,  откуда     3
A < 2.  Наибольшее значение A = 1.

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

Нужно найти наибольшее целое A  , при котором выражение

(x + 1y > A ) ∨ (x < 18) ∨ (y < 5)
     6              27

тождественно истинно для всех неотрицательных x,y  . В программе перебираем значения A  в убывающем порядке (от 100  до 1  ), чтобы сразу получить наибольшее подходящее. Для каждого A  двумя вложенными циклами for перебираем x  и y  в диапазоне (от 0 до 99) и проверяем логическое выражение. Если найдётся хотя бы одна пара (x,y)  , для которой выражение не выполняется (ложно), текущий A  не подходит. Если после всех проверок выражение оказалось истинным для всех (x,y)  , печатаем этот A  как ответ и завершаем перебор.

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

# перебираем A по убыванию, чтобы сразу найти наибольшее подходящее
for a in range(100, 0, -1):
    # считаем, что для текущего A выражение выполняется для всех x,y
    flag = True
    # перебираем неотрицательные x
    for x in range(100):
        # перебираем неотрицательные y
        for y in range(100):
            # проверяем выражение
            if ((x + 1 / 6 * y > a) or (x < 18 / 27) or (y < 5)) == 0:
                # нашли пару, где выражение не выполняется, значит, A не подходит
                flag = False
    # если ни одной "плохой" пары не было, текущий A подходит
    if flag:
        # выводим наибольшее подходящее A
        print(a)
        # завершаем поиск
        break

Ответ: 1

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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