с информатикой .Таблицы истинности 10 класс.

Выполняя алгоритм, получаем следующий результат (15 итераций)

1. 0..65534 -> 32767
2. 0..32766 -> 16383
3. 0..16382 -> 8191
4. 0..8190  -> 4095
5. 0..4094  -> 2047
6. 2048..4094 -> 3071
7. 2048..3070 -> 2559
8. 2560..3070 -> 2815
9. 2816..3070 -> 2943
10. 2944..3070 -> 3007
11. 2944..3006 -> 2975
12. 2976..3006 -> 2991
13. 2992..3006 -> 2999
14. 3000..3006 -> 3003
15. 3000..3002 -> 3001

Если лень перебирать вручную, можно воспользоваться программой

var k,l,r,x,f:integer;
begin
f := 3001;
l := 0;
r := 65534;
x := (l + r) div 2;
k := 1;
while (x <> f) and (l < r) do
  begin
  writeln(k,' ',l,' ',r,' ',x);
  k := k + 1;
  if f < x then r := x - 1
    else l := x + 1;
  x := (l + r) div 2
  end;
writeln(k,' ',l,' ',r,' ',x);
end.

//Pascal ABC.NET v3.1 сборка 1172

Var
 ar:array of integer;
 n,k,i,j:integer;
 b1:boolean;
begin
 read(n,k);
 b1:=false;
 setlength(ar,n);
 n:=n-1;
 writeln('Enter array:');
 for i:=0 to n do
  readln(ar[i]);
 for i:=0 to n-k+1 do
 begin;
  for j:=i to k+i-1 do
   if ar[i]=ar[j] then b1:=true else b1:=false;
 if b1=true then
   break;
 end;
 if b1=true then
   for i:=0 to n do
    begin;
     if ar[i]>0 then ar[i]:=ar[i]*(-1);
     write(ar[i]:4);
    end
   else
    writeln('Рішення не існує');
 end.

Пример ввода:
5 //n
4 //k
2
1
1
1
1
Пример вывода:
  -2  -1  -1  -1  -1