На числовой прямой даны три отрезка: p = [10, 40], q = [5, 15] и r=[35,50]. выберите такой отрезок a, что формула ( (x ϵ p) → (x ϵ q) ) \/ ( (x ϵ a) → (x ϵ r) ) тождественно истинна, то есть принимает значение 1 при любом значении переменной х.

// pascalabc.net 3.0, сборка 1128 begin   var k: =readinteger('укажите номер записи k: ');   var a: =readlines('t1.txt').select(x-> length(           where(x-> x< > 0).toarray;   var n: =a.length;   if k> n then writeln('в файле записей меньше, чем ',k)   else writeln('сумма равна ',a.min+a[n-k+1]) end. а теперь "школьный вариант" // pascalabc.net 3.0, сборка 1128 var   t: text;   min,l,m,n,k: integer;   s: string; begin   k: =2; // вторая от конца запись   assign(t,'t1.txt'); reset(t);   min: =1000; m: =0;   while not eof(t) do begin       readln(t,s); inc(m);       l: =length(s);       if (l> 0) and (l< min) then min: =l       end;   close(t); reset(t);   k: =m-k+1;   if k< 1 then writeln('в файле нет стольких строк')   else begin       m: =0;       while m< > k do begin readln(t,s); inc(m) end;       writeln('сумма равна ',min+length(s))       end;   close(t) end.