Сколько различных решений имеет система логических уравнений (x1 ≡ y1) → (x2 ≡ y2) = 1
(x2 ≡ y2) → (x3 ≡ y3) = 1
(x3 ≡ y3) → (x4 ≡ y4) = 1
(x4 ≡ y4) → (x5 ≡ y5) = 1
где x1, x2, …, x5 и y1, y2, …, y5 - логические переменные?
.
Надо либо с "дерева" решить или с таблицей истинности

Выполняя алгоритм, получаем следующий результат (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.

Const
   N = 13;
Var
   A:array[1..N] of integer;
   i,Min:integer;
Begin
Randomize;
Min:=1;
For i:= 1 to N do
    Begin
    A[i]:=random(2*N+1)-N;
    Write(A[i],' ');
    if A[Min]>A[i] then Min:=i;
    End;
WriteLn;
WriteLn(Min)
End.

Const
   N = 13;
Var
   A:array[1..N] of integer;
   i,j,Min,B:integer;
Begin
Randomize;
For i:= 1 to N do
    Begin
    A[i]:=random(2*N+1)-N;
    Write(A[i],' ');
    End;
WriteLn;
WriteLn;
For i:= 1 to N do
    Begin
    Min:=i;
    For j:=i+1 to N do
        if A[Min]>A[j] then Min:=j;
    B:=A[Min];
    A[Min]:=A[i];
    A[i]:=B;
    Write(A[i],' ')
    End;
End.

Const
   N = 13;
Var
   A:array[1..N] of integer;
   i,j,Max,B:integer;
Begin
Randomize;
For i:= 1 to N do
    Begin
    A[i]:=random(2*N+1)-N;
    Write(A[i],' ');
    End;
WriteLn;
WriteLn;
For i:= 1 to N do
    Begin
    Max:=i;
    For j:=i+1 to N do
        if A[Max]<A[j] then Max:=j;
    B:=A[Max];
    A[Max]:=A[i];
    A[i]:=B;
    Write(A[i],' ')
    End;
End.