Question

На числовой прямой даны два отрезка: C=[10;41] и D=[20;95]. Отрезок A таков, что формула (x∈D)→((x∈C)→(x∈A))
истинна при любом значении переменной x. Какова наименьшая возможная длина отрезка A?

Answer 1

(см. объяснение)

Объяснение:

$(x\in D)\rightarrow((x\in C)\rightarrow(x\in A))=(x\notin D)\vee(x\notin C)\vee(x\in A)$

Тогда:

(см. прикрепленный файл)

Получили, что $A=[20;\;41]$.

Поэтому ответом будет $41-20=21$.

Задание выполнено!

Комментарий:

Можно (и несложно), конечно, было решить это задание программным методом (все-таки предмет информатика), но по-моему здесь куда более простое аналитическое решение.

На всякий случай вот рабочий код:

##

var r: integer := 1001;

for b: integer := 10 to 95 do

 for e: integer := b+1 to 95 do

 begin

   var f: integer := 1;

   for x: integer := 1 to 1000 do

     if(((x in [20..95])<=((x in [10..41])<=(x in [b..e])))=false)

       then f:= 0;

   if((f=1) and (r>e-b))

       then r:= e-b;

 end;

print(r);