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

15.05 Отрезки

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

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

Задача 1#6744

На числовой прямой даны два отрезка: P  = [5;35]  и Q =  [20; 51]  . Укажите наименьшую возможную длину такого отрезка A  , что формула

(x ∈ P ) → (((x ∈ Q) ∧ ¬(x ∈ A )) → ¬ (x ∈ P))

истинна при любом значении переменной x  , т.е. принимает значение 1 при любом значении переменной x  .

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

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

Преобразуем данное выражение по законам де Моргана:

¬ (x ∈ P ) ∨ (¬((x ∈ Q ) ∧ ¬ (x ∈ A)) ∧ ¬(x ∈ P ))

¬(x ∈ P ) ∨ ¬ (x ∈ Q) ∨ (x ∈ A )

(x ∕∈ P ) ∨ (x ∕∈ Q ) ∨ (x ∈ A )

Первое и второе выражение будут ложны только тогда, когда x  принадлежит одновременно и    P  , и Q  . Значит, наша задача подобрать такое A  , чтобы оно перекравыло область пересечения этих отрезков. Тогда, наименьшая длина A  = 35 − 20 = 15  .

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

p = [i for i in range(5, 36)] # задаем отрезок p
q = [i for i in range(20, 52)] # задаем отрезок q
mn = 10**10
for a1 in range(1, 100): # перебираем начало отрезка а
    for a2 in range(a1 + 1, 101): # перебираем конец отрезка а
        c = 0 # флаг, который будет показывать при всех ли х для текущего отрезка а выражение было истинным
        a = [i for i in range(a1, a2)] # формируем отрезок а
        for x in range(1, 500): # перебираем значения x
            # если при текущем x выражение ложно
            if ((x in p) <= (((x in q) and (x not in a)) <= (x not in p))) == False:
                c = 1 # меняем значение флага
                # и сбрасываем цикл, переходим к следующему отрезку а,
                # так как для данного отрезка а выражение не тождественно истинно
                break
        if c == 0: # если значение флага не менялось, значит, при любом х при данном отрезке а выражение было истинным
            mn = min(len(a)-1,mn) # вычисляем минимальную длину отрезка
print(mn)

Ответ: 15

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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