Информатика решить с деление в столбик в

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

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) Елена

var a: array[1..2,1..4] of real;
    b,c: string; 
    d,x,y: real;
    i,j: integer;
begin
   b:='ABCD';  c:='xy';
   writeln('трапеция ABCD');
   for i:=1 to 4 do
   begin
     writeln('координаты точки ',b[i],': ');
     for j:=1 to 2 do
     begin
       write('   ',c[j],i,' = ');
       readln(a[j,i]);
     end;  
   end;  
   x:=(a[1,3]-a[1,2]+a[1,4]-a[1,1])/2;
   y:=(a[2,3]-a[2,2]+a[2,4]-a[2,1])/2;
   d:=sqrt(x*x+y*y);
   writeln('длина средней линии:  ',d:5:2);
end.

ввод - вывод

трапеция ABCD
координаты точки A: 
   x1 = 3
   y1 = 2
координаты точки B: 
   x2 = 5
   y2 = 5
координаты точки C: 
   x3 = 9
   y3 = 5
координаты точки D: 
   x4 = 10
   y4 = 2
длина средней линии:   5.50