Ввести два целых числа a и b (a ≤ b) и вывести сумму квадратов всех чисел от a до b. Пример: Введите два числа: 4 10 Сумма квадратов 371 .С командой пока

Const l = 5;
var
a: array[1..l] of integer;
d: array[1..l] of real;
i, otr, k, m: integer;
begin
otr:=0; k:=0; m:=0;
//считаем массив а
for i:=1 to l do
  begin
    readln(a[i]);
    //если ввели положительное число,увеличим перем. otr на 1
    if a[i] < 0 then
      inc(otr);
    //если ввели отрицательное число,увеличим перем. k на 1
    //и к переменной m прибавим элемент
    if a[i] > 0 then
      begin
        inc(k);
        inc(m, a[i]);
      end;
  end;
//заполним массив d
for i:=1 to l do
  //если индекс четный, присвоим элементу otr
  //иначе присвоим среднее арифметическое
  if i mod 2 = 0 then
    d[i] := otr
  else
    d[i] := m/k;
end.

Обозначим 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]