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

15.05 Отрезки

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

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

Задача 1#25100

На числовой прямой даны отрезки A = [70;90],B = [40;60]  и C = [0;N]  и функция

F (x) = (¬(x ∈ A ) → (x ∈ B ))∧ (¬ (x ∈ C) → (x ∈ A))

При каком наименьшем числе N  функция F (x)  истинна более чем для 30  целых чисел x  ?

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

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

Идея заключается в переборе возможных концов отрезка C  (от 1 до 1000) и проверке, что исходное выражение даёт истину более чем для 30 значений переменной x  (от 1 до 1000). Если во время проверки найдётся хотя бы одно значение n  , при котором выражение выполняется для 31 и более x  , данное число выводится на экран, а цикл останавливается – так мы найдём минимальное значение.

Для реализации этой идеи необходимо задать отрезки A  и B  при помощи функции range(). Далее, создадим цикл for, необходимый для перебора значений концов отрезка C  . При каждой итерации будем создавать переменную-счётчик, которая изначально равна 0, а затем задавать отрезок C  при помощи функции range(). Внутри нижнего цикла необходимо начать перебор значений переменной x  . Если выражение истинно для текущего значения x  , то к счётчику прибавляется 1. Если после перебора всех значений count > 30, значит проверяемый конец отрезка C  удовлетворяет условию: выводим его на экран и останавливаем цикл.

a = range(70, 90 + 1)  # Задаём отрезок A
b = range(40, 60 + 1)  # Задаём отрезок B
for n in range(1, 1000):  # Перебираем конец отрезка C
    c = range(0, n + 1)  # Задаём отрезок C
    count = 0  # Количество значений x, при которых выражение даёт истину
    for x in range(1000):
        # Если при текущем значении переменной x выражение даёт истину (0), то
        if ((x not in a) <= (x in b)) and ((x not in c) <= (x in a)):
            count += 1  # прибавляем 1 к count
    if count > 30:  # Если выражение истинно более чем для 30 целых x,
        print(n)  # выводим ответ на экран и останавливаем цикл
        break

Ответ: 49

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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