Нормальный процесс или не intel coleron5 cpu 2950m @2000ghz, 2000mгц ядер 2 логических процессоров: 2?

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

Сначала немного теории.
--> - импликация, следование
Таблица истинности импликации

x1 x2 r
0   0  1
0  1   1
1  0   0
1  1   1
Общее правило: если x1<=x2, тогда правда, в остальных случаях ложь.
^ - Конъюнкция, логическое И
Таблица истинности конъюнкции
x1 x2 r
0   0  0
0   1 0
1   0  0
1   1  1
Общее правило: если x1 или x2 = 0, тогда ложь. x1=x2=1, только тогда правда.

(первая буква имени согласная ---> вторая буква имени согласная)^ четвертая буква имени согласная 
1) Лариса 
2) Сергей 
3) Геннадий 
4)Елена

Теперь по вариантам:
1) Лариса 
Получается (1-->0)^0=0^0=0, не подходит
2) Сергей 
(1-->0)^1=0^1=0, не подходит
3) Геннадий
(1-->0)^1=0^1=0, не подходит
4) Елена
(0-->1)^1=1^1=1, подходит
ответ: 4) Елена