Дан массив из 5 целых чисел, найти номер максимального элемента. (паскаль)

01.program massiv5;02.uses crt;03.const N=10;04.type x=array [1..N] of integer;05.var a:x;06.i:integer;07.max:integer;08.imax:integer;09.begin10.clrscr;11.randomize;12.for i:=1 to N do13.begin14.a[i]:= -50+random(101);15.write (A[i]:5)16.end;17.writeln;18.imax:=1;19.max:=A[1];20.for i:=2 to N do21.if max<a[i] then22.begin23.max:=a[i];24.imax:=i25.end;26.writeln (‘Максимальный элемент в массиве=’,max:5);27.writeln (‘Его индекс=’,imax:5);28.readln29.end.

F = ¬X +Z⇒(X+¬Y)
таблица истинности:
X Y Z     X+¬Y   Z⇒(X+¬Y)    ¬X      F
0  0  0      1             1                1       1
0  0  1       1            1                1       1
0  1  0       0            1                1       1
0  1  1       0            0                1       1
1  0  0      1             1                0       1
1  0  1       1            1                0       1
1 1   0       1            1                0       1
1  1  1      1             1                0       1
F =1 тождественно истинна ,
 так как её значения равны 1 при любых X,Y,Z

Const n=10; 
type ar=array[1..n+1] of integer;
var 
a:ar; i,p:integer; 
procedure pr(var a:ar; p:integer; var k:integer);
begin
k:=1;
while a[k]<>p do k:=k+1;
end;
begin
Randomize;
writeln('Массив A:');
for i:=1 to n do
 begin
 a[i]:=random(31);
 write(a[i]:4);
 end;
writeln;
p:=17;
a[n+1]:=p;
pr(a,p,i);
if i<n 
 then writeln('Значение 17 найдено, номер элемента = ',i)
 else writeln('Значения 17 в массиве нет');
end.

Пример:
Массив A:
  14   5   7  17  25  15  28   0  24   0
Значение 17 найдено, номер элемента = 4