Для какого наименьшего целого неотрицательного числа А выражение ((y ≥ x − A) /\ (y ≤ x + A)) \/ (x ·y > 75) тождественно истинно, т.е. принимает значение 1 при любых целых положительных x и y?

Программа на PascalABC

Program 29844007;

uses  

 GraphABC;

var  

 XL1,YL1,XR1,YR1:integer;  ///координаты первого прямоугольника

 XL2,YL2,XR2,YR2:integer; ///координаты второго прямоугольника

 XL0,YL0,XR0,YR0:integer;  ///координаты результата

s:string; ///строка для вывода результатов;

begin

 Window.SetSize(700,700);  

 writeln('Первый прямоугольник: ');

   writeln('Введите X левого нижнего угла ');read(XL1);

   writeln('Введите Y левого нижнего угла ');read(YL1);

   writeln('Введите X правого верхнего угла ');read(XR1);

   writeln('Введите Y правого верхнего угла ');read(YR1);

 writeln('Второй прямоугольник: ');

   writeln('Введите X левого нижнего угла ');read(XL2);

   writeln('Введите Y левого нижнего угла ');read(YL2);

   writeln('Введите X правого верхнего угла ');read(XR2);

   writeln('Введите Y правого верхнего угла ');read(YR2);

 if XL1<XL2 then XL0:=XL1 else XL0:=XL2;

 if YL1<YL2 then YL0:=YL1 else YL0:=YL2;

 if XR1<XR2 then XR0:=XR2 else XR0:=XR1;

 if YR1<YR2 then YR0:=YR2 else YR0:=YR1;

/// Выводим сначала результирующий прямоугольник синим цветом

 Brush.Color := clBlue;

 Rectangle(XL0,700-YL0,XR0,700-YR0);

/// Рисуем первый прямоугольник красным цветом

 Brush.Color := clRed;

 Rectangle(XL1,700-YL1,XR1,700-YR1);

/// Выводим второй прямоугольник зелёным

 Brush.Color := clGreen;

 Rectangle(XL2,700-YL2,XR2,700-YR2);

/// Выводим кординаты

Brush.Color := clWhite;

 s:='Координаты левого нижнего угла: '+ IntToStr(XL0)+' '+IntToStr(YL0);

 TextOut(0,0,s);

 s:='Координаты правого верхнего угла: '+ IntToStr(XR0)+' '+IntToStr(YR0);

 TextOut(0,20,s);

end.

Пример вывода на прикреплённом рисунке.

Вот: 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 const   n=5; var   a: array[1..n,1..n] of integer;   i,j,s: integer; begin   s: =0;   randomize;   for i: =1 to n do     begin       for j: =1 to n do         begin           a[i,j]: =random(10);           write(a[i,j]: 4);           if (i+j) mod 3=0 then             s: =s+a[i,j];         end;       writeln;     end;   writeln('s=',s); end.