Формализовать логическую задачу. Записать формульное выражение. Решить задачу табличным видом

Спор болельщиков о результатах скачек
Петя - Выиграет Алмаз или Гранат
Вася - Первым будет Верный
Коля - или Верный или Алмаз

В итоге оказался прав один из друзей, кто дал верный результат

Program test;
var  a: array of integer;  b: array of integer;  c: array of integer;  aa, bb, cc: integer;
begin  writeln('Введите размер массива a');  readln(aa);  writeln('Введите размер массива b');  readln(bb);  a := new integer[aa];  b := new integer[bb];  c := new integer[aa + bb];  cc := 0;  aa := 0;  bb := 0;  writeln('Заполнение массива a');  while(aa < Length(a)) do   begin    readln(a[aa]);    aa := aa + 1;  end;  writeln('Заполнение массива b');  while(bb < Length(b)) do   begin    readln(b[bb]);    bb := bb + 1;  end;  while(cc < Length(c)) do   begin    if(cc < Length(a)) then begin      c[cc] := a[cc]    end else begin      c[cc] := b[cc - Length(a)];    end;    cc := cc + 1;  end;  writeln('Полученный массив');  cc:=0;  while(cc < Length(c)) do   begin    writeln(c[cc]);    cc:=cc+1;  end;end.

Объяснение:

const

 a = 244143;// с какого числа

 b = 367821;// по какое число

 const_count_div = 5;// количество делителей

label

 1;

var

 i, k, t:longint;

 ar_div:array[1..500] of longint;

 count_div:integer;

begin

 for i:=a to b do begin // перебираем все числа из заданного промежутка

   count_div:=0;

   for k:= 1 to i do //  для каждого числа перебираем делители

     if (i mod k) = 0 then begin

       count_div:=count_div + 1;

       if (count_div > const_count_div) then goto 1; // если количество делителей больше заданного количества, то на следующий шаг

       ar_div[count_div]:=k;// заносим в массив делителей найденный делитель

     end;

   //writeln;

   if (count_div = const_count_div) then begin

     //writeln(i, ' ', count_div);

     write(i, ': ');

     for t:=1 to count_div do

       write(ar_div[t], ' ');

     writeln;

   end;

 1:

 end;

 writeln('End');

 readln;

end.