На числовой прямой даны два отрезка: P = [4, 15] и Q = [12, 20].
Укажите наименьшую возможную длину отрезка A, для которого выражение
((x ∈ P) ∧ (x ∈ Q)) → (x ∈ A)
тождественно истинно, то есть принимает значение 1 при любом значении переменной х.
Ответ
Ответ:
3
Решение
m = 10**6 P = [i for i in range(4, 16)] Q = [i for i in range(12, 21)] for Amin in range(1, 50): for Amax in range(Amin + 1, 50): check = 1 A = [i for i in range(Amin, Amax)] for x in range(-300, 300): f = ((x in P) and (x in Q)) <= (x in A) if not f: check = 0 break if check == 1: m = min(m,Amax - Amin) print(m-1)