Задание 15. Информатика. ЕГЭ. Апробация. 05.03.2025

Просмотры: 1027
Изменено: 5 марта 2025

На числовой прямой даны два отрезка: \(P = [17;\, 58]\) и \(Q = [29; \, 80].\) Укажите наименьшую возможную длину такого отрезка \(A,\) для которого логическое выражение $$(x \in P) \to (((x \in Q) \land \neg (x \in A)) \to \neg (x \in P))$$ истинно (т.е. принимает значение \(1)\) при любом значении переменной \(x.\)

Решение:

Python


def expr(x, A):
    xinP = 17 <= x <= 58
    xinQ = 29 <= x <= 80
    xinA = A[0] <= x <= A[1]

    return xinP <= ((xinQ and (not xinA)) <= (not xinP))

A = [0, 100]
while all(expr(x, A) for x in range(-50, 300)):
    A[0] += 1
A[0] -= 1
while all(expr(x, A) for x in range(-50, 300)):
    A[1] -= 1
A[1] += 1
print(A[1] - A[0])

Ответ: \(29\)