На числовой прямой даны два отрезка: P = [130; 171] и Q = [150; 185]. Укажите наименьшую возможную длину такого отрезка A, что формула
(x ∈ P) → (((x ∈ Q) ∧ ¬(x ∈ A)) → ¬(x ∈ P))
истинна при любом значении переменной х, т. е. принимает значение 1 при любом значении переменной х.
Ответ
Ответ:
21
Решение
s = [] for a1 in range(1,200): for a2 in range(1,200): fl= True for x in range(1,200): if not((130<=x<=171)<=(((150<=x<=185)and (not(a1<=x<=a2)))<= (not(130<=x<=171)))): fl = False break if fl: s.append(a2-a1) print(min(s))