На числовой прямой даны три отрезка:
тождественно равны, то есть принимают равные значения при любом значении
Введем обозначения:
Применив преобразование импликации, получаем:
R∨¬Q ложно тогда, когда x∈(15;20]. Выражение ¬A∨P должно быть ложно на этом же интервале.
Ответ: 5.
Примечание.
О длине интервала написано в примечании к задаче 11119.
Приведём другое решение Зиберовой Викториина языке Python.
p = range(10, 16)
q = range(10, 21)
r=range(5,16)
A = [int(i) for i in range(1, 6)]
for x in range(100):
if (((x in A)<=(x in p)))!=(((x in q)<=(x in r))):
A = A[1:]
else:
print(len(A))
break
Приведём решение Сергея Донец на PascalABC.NET:
begin
var P := 10..15;var Q := 10..20;var R := 5..15;
var setX:=|P.First,P.Last,Q.First,Q.Last,R.First,R.Last,-999,999|
.SelectMany(x->|x-0.1,x,x+0.1|);
setX.Order.Combinations(2).Select(m->m[0]..m[1])
.Where(A->setX.All(x->
((x in A)<=(x in P))=((x in Q)<=(x in R))
)).Min(A->A.Size).round.Print;
end.

