Видите самую последнюю схему? Господи её сделать так, что бы я её скопировать мог! Или скиньте ссылку на неё!

Const
   K = 3;
   N = 4;
Var
   A:array[1..K,1..N] of integer;
   Max,Min,i,j:integer;
Begin
For i:= 1 to K do
    Begin
    For j:= 1 to N do
        Begin
        A[i,j]:=random(21)-10;
        Write(A[i,j]:3,' ')
        End;
    WriteLn
    End;
Max:=A[K,N];
Min:=A[K,N];
For i:= 1 to K do
    For j:= 1 to N do
        Begin
        if Max<A[i,j] then Max:=A[i,j];
        if Min>A[i,j] then Min:=A[i,j]
        End;
WriteLn('Min = ',Min);
WriteLn('Max = ',Max);
End.

Пример:

 -3  -2   5  -8
  2  -3   7   5
-10  -2   7   4
Min = -10
Max = 7

Обозначим P,Q,A утверждение что х принадлежит соответствующему отрезку
¬А отрицание А, то есть х не принадлежит А
перепишем и упростим исходную формулу
P→((Q∧¬A)→P)
известно что X→Y=¬X∨Y (доказывается просто, например через таблицу истинности)
тогда:
P→(¬(Q∧¬A)∨P)
раскроем скобку ¬(Q∧¬A) с закона де Моргана (стыдно их не знать, если что это такие же основы как и таблицы истинности)
P→(¬Q∨¬¬A∨P) = P→(¬Q∨A∨P) = ¬P∨¬Q∨A∨P
¬P∨P=1 то есть всегда истинно и 1∨Х=Х значит ¬P и P можно убрать
остается ¬Q∨A
Значит х либо принадлежит А либо не принадлежит Q
для выполнения этого условия необходимо чтобы все значения Q принадлежали А, тогда минимальное А совпадает с Q
ответ А=[40,77]