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

15.05 Отрезки

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

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

Задача 1#6012

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

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

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

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

Решение Python:

p = range(15, 51)
q = range(35, 60)
mx = []
for i in range(10, 60):
    for j in range(i+1, 61):
        a = range(i, j)
        c = 0
        for x in range(1, 1000):
            if (((not x in a) <= (x in p)) <= ((x in a) <= (x in q))) == False:
                c = 1
                break
        if c == 0:
            mx.append(len(a))
print(max(mx))

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

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

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

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

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

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

Воспользуемся правилом:

A ∧  B ∨ A =  A ∧ (B ∨ 1) = A

Получим:

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

Получается, что x  должен принадлежать Q  , либо не принадлежать A  . Так как мы ищем наибольшую возможную длину A  , необходимо, чтобы он полностью содержался в Q  , т.е. максимальная длина отрезка A =  60 − 35 = 25  .

Ответ: 25

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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