На числовой прямой даны три отрезка: ,
и
. Какова наименьшая длина отрезка
, при котором формула
тождественно истинна, то есть принимает значение 1 при любом значении переменной ?
Решение руками
Враги мечтают чтобы был одновременно в
, не в
, не в
и при этом не в
. Это отрезок
.
Друзья хотят чтобы этот отрезок был в и длина
была как можно меньше. Тогда
и
.
Решение программой
p = [i for i in range(20, 31)] # задаем отрезок p
q = [i for i in range(5, 16)] # задаем отрезок q
c = [i for i in range(35, 51)] # задаем отрезок с
mn = 10**10
for a1 in range(1, 100): # перебираем начало отрезка а
for a2 in range(a1 + 1, 101): # перебираем конец отрезка а
f = 0 # флаг, который будет показывать при всех ли х для текущего отрезка а выражение было истинным
a = [i for i in range(a1, a2)] # формируем отрезок а
for x in range(1, 500): # перебираем значения x
# если при текущем x - выражение ложно
if (((x in p) <= (x in q)) or ((x not in a) <= (x in c))) == False:
f = 1 # меняем значение флага
# и сбрасываем цикл, переходим к следующему отрезку а,
# так как для данного отрезка а выражение не тождественно истинно
break
if f == 0: # если значение флага не менялось, значит, при любом х при данном отрезке а выражение было истинным
mn = min(len(a)-1,mn) # вычисляем минимальную длину отрезка
print(mn)
Ответ: 10