Е15.74 Укажите наименьшую возможную длину такого отрезка A, что логическое выражение (¬(x∈B)∧(x∈C))→((¬(x∈A)∧(x∈C))→(x∈B)) истинно

Администратор

23 часа назад

На числовой прямой даны два отрезка:

B = [290; 750]
C = [135; 675]

Укажите наименьшую возможную длину такого отрезка A, что логическое выражение

$(\neg (x \in B) \land (x \in C)) \to ((\neg (x \in A) \land (x \in C)) \to (x \in B))$

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

Ответ:

Основная волна ЕГЭ по информатике 19.06.2026 – задание №15

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

Решение:

Решение —

def f(x):
    return ((x not in b) and (x in c)) <= (((x not in a) and (x in c)) <= (x in b))

b = range(290, 750 + 1)
c = range(135, 675 + 1)

for start in [290, 750, 135, 675]:
    for end in [290, 750, 135, 675]:
        a = range(start, end + 1)
        if all(f(x) for x in range(0, 1000)):
            print(end - start)

def f(x):

return ((x not in b) and (x in c)) <= (((x not in a) and (x in c)) <= (x in b))

b = range(290, 750 + 1)

c = range(135, 675 + 1)

for start in [290, 750, 135, 675]:

for end in [290, 750, 135, 675]:

a = range(start, end + 1)

if all(f(x) for x in range(0, 1000)):

print(end - start)

155
615
540

Ответ: 155