(¬x∨ y∨z)∧(¬x∨¬z) решите использую законы логики

Program v1;
var a,b,c: real;
begin
readln (a,b,c);
If c > a+b then writeln ( 'Такого треугольника не существует');
If a > c+b then writeln ( 'Такого треугольника не существует');
If b> a+c then writeln ( 'Такого треугольника не существует');
If a=b and a=c  then writeln ('Этот треугольник равносторонний');
If a=b or a=c or b=c then writeln ('Этот треугольник равнобедренный');
If a = scrt ( b*b + c*c) then writeln ('Этот треугольник прямоугольный');
If b = scrt (a*a + c*c) then writeln ('Этот треугольник прямоугольный');
If c = scrt (a*a + b*b) then writeln ('Этот треугольник прямоугольный');
end. 

Const
  nm = 50;{максимальная длина массива}

var
  i, n: integer;
  a: array[1..nm] of integer;

begin
  Write('Введите количество элементов в массиве: ');
  Readln(n);
  Write('Введите элементы массива через пробел ');
  for i := 1 to n do
  begin
    Read(a[i]);
  end;
  i := n;
  while (a[i] <= 0) and (i > 0) do Dec(i);
  if i > 0 then Writeln('Последний положительный элемент a[', i, ']=', a[i])
end.

Тестовое решение:
Введите количество элементов в массиве: 5
Введите элементы массива через пробел 3 -3 5 -5 -4
Последний положительный элемент a[3]=5