Отрезки: На числовой прямой даны два отрезка: B = [15; 40] и C = [21; 63] · ЕГЭ №15

Условие, ответ и разбор задачи

Преобразование логических выражений

ФИПИ КЭС 2.7ФИПИ

На числовой прямой даны два отрезка: B = [15; 40] и C = [21; 63]. Укажите наименьшую возможную длину такого отрезка A, для которого логическое выражение

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

истинно (т.е. принимает значение 1) при любом значении переменной х.

Ответ:

Решение

def f(x):
    B = 15 <= x <= 40
    C = 21 <= x <= 63
    A = a1 <= x <= a2
    return (not B) <= (((C and not A) <= B))
ox = []
for i in (15, 40, 21, 63):
    ox += [i-0.1, i, i+0.1]
m = []
for a1 in ox:
    for a2 in ox:
        if a2 > a1 and all(f(x) == 1 for x in ox):
            m.append(round(a2 - a1))
print(min(m))

Отрезки: На числовой прямой даны два отрезка: B = [15; 40] и C = [21; 63] · ЕГЭ №15

Похожие задачи