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

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

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

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

Задача 1#62999

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

((x − 20 < A )∧ (10 − y < A))∨ ((x+ 4)⋅y > 45)

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

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

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

Преобразуем выражение

                                --45--
((x < A+ 20)∧ (y > 10 − A))∨ (y > (x+ 4))

      45
y > (x+-4)  - это гипербола, под неравенство подходят все точки, которые находятся выше нее. Так как x  и y  целые и положительных, то нам остается перекрыть область под гиперболой, где x ∈ [1;41]  , а y ∈ [1;12]  .

Неравенство x < A + 20  перекрывает все что левее A + 20  , тогда всдствив максимальный x− 41  в него мы перекроем все точки по x  . Отсюда 21 < A  .

Неравенство y > 10 − A  перекрывает все что выше 10− A  , тогда всдствив минимальный y − 1  в него мы перекроем все точки по y  . Отсюда 9 < A  .

Так как необходимо, чтобы оба эти неравенства оба выполнялись, то наименьшее A  , которое походит - 22.

Получаем ответ: 22.

Решение Python:

Для нахождения наименьшего целого A  , при котором выражение

((x − 20 < A )∧ (10 − y < A))∨ ((x+ 4)⋅y > 45)

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

for a in range(-100, 100):
    c = 0  # флаг: 0 - выражение пока истинно для всех x и y, 1 - найдено нарушение
    # перебор всех x от 1 до 999
    for x in range(1, 1000):
        # перебор всех y от 1 до 999
        for y in range(1, 1000):
            # проверка выполнения выражения для текущих x, y и A
            if (((x - 20 < a) and (10 - y < a)) or ((x + 4) * y > 45)) == False:
                c = 1  # если выражение ложно, меняем флаг
                break  # выход из цикла по y
        if c == 1:
            break  # выход из цикла по x
    # если выражение истинно для всех x и y, выводим A и прекращаем перебор
    if c == 0:
        print(a)
        break

Ответ: 22

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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