PDF-версии: 
На числовой прямой даны два отрезка:
тождественно истинна, то есть принимает
Решение. Введем обозначения:
Применив преобразование импликации, получаем:
Логическое ИЛИ истинно, если истинно хотя бы одно утверждение. Выражение
Ответ: 12.
Примечание.
О длине отрезка написано в примечании к задаче 11119.
Приведём решение Ивана Гладких (Черкесск) на языке Python.
m = 0
P = [i for i in range(2, 11)]
Q = [i for i in range(6, 15)]
for Amin in range(1, 20):
for Amax in range(Amin + 1, 20):
check = 1
A = [i for i in range(Amin, Amax)]
for x in range(-100, 100):
f = ((x in A) <= (x in P)) or (x in Q)
if not f:
check = 0
break
if check == 1:
m = max(m,Amax - Amin)
print(m-1)
Приведём решение Юлии Леонтьевой на языке Python.
P = list(range(2,11))
Q = list(range(6,15))
A = list(range(1,1000))
for x in range(1,1000):
if (((x in A)<=(x in P)) or (x in Q))== False:
A.remove(x)
print(len(A) - 1)