На числовой прямой даны два отрезка:
истинна при любом значении
Раскроем дважды импликацию, получим:
Используем Законы де Моргана, имеем:
Первое и второе выражения принимают
Примечание.
В отрезке [150; 171] содержится
Приведём другое решение задачи на языке Python.
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))
Приведём решение задачи Ивана Гладких на языке Python.
m = 10**6
P = [i for i in range(130, 172)]
Q = [i for i in range(150, 186)]
for Amin in range(1, 200):
for Amax in range(Amin + 1, 200):
check = 1
A = [i for i in range(Amin, Amax)]
for x in range(-300, 300):
f = (x in P) <= (((x in Q) and (x not in A)) <= (x not in P))
if not f:
check = 0
break
if check == 1:
m = min(m,Amax - Amin)
print(m-1)