Е15.69 логическое выражение (x ∈ P) → (((x ∈ Q) /\ ¬(x ∈ A)) → ¬(x ∈ P)) истинно

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

3 месяца назад

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

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

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

Ответ:

Досрочный ЕГЭ по информатике 7 апреля 2026 – задание №15

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

Решение:

Решение —

p = list(range(25, 65))
q = list(range(40, 116))
a=[]
for x in range(1, 200):
    if ((x in p) <= (((x in q) and (x not in a)) <= (x not in p))) == False:
        a.append(x)
print(a[-1]-a[0])

p = list(range(25, 65))

q = list(range(40, 116))

a=[]

for x in range(1, 200):

if ((x in p) <= (((x in q) and (x not in a)) <= (x not in p))) == False:

a.append(x)

print(a[-1]-a[0])

ИЛИ

def f(x): return (x in p) <= (((x in q) and (not (x in a))) <= (not (x in p)))

p = range(25, 64 + 1)
q = range(40, 115 + 1)

for start in [25, 64, 40, 115]:
    for end in [25, 64, 40, 115]:
        a = range(start, end + 1)
        if all(f(x) for x in range(-10000, 10000)):
            print(end - start)

def f(x): return (x in p) <= (((x in q) and (not (x in a))) <= (not (x in p)))

p = range(25, 64 + 1)

q = range(40, 115 + 1)

for start in [25, 64, 40, 115]:

for end in [25, 64, 40, 115]:

a = range(start, end + 1)

if all(f(x) for x in range(-10000, 10000)):

print(end - start)

39
90
24
75

ИЛИ

Ответ: 24