Упростите логическое выражение:​

Рассмотрим, что делает эта программа.
  c := 0; // начальное значение счётчика

  for i := 1 to 9 do // цикл по i

    if A[i - 1] < A[i] then begin // если текущий элемент больше предыдущего

      c := c + 1; // то увеличиваем счётчик на 1

      t := A[i]; // и меняем текущий элемент местами с предыдущим

      A[i] := A[i - 1];

      A[i - 1] := t

    end;

Последние три строчки перед end - обычный алгоритм обмена значениями между двумя переменными (t = a; a = b; b = t).

Итак, моделируем, что делает программа и считаем число обменов.

0) 6 9 7 2 1 5 0 3 4 8 - исходный массив
1) 6 9 7 2 1 5 0 3 4 8 -> 9 6 7 2 1 5 0 3 4 8 ОБМЕН
2) 9 6 7 2 1 5 0 3 4 8 -> 9 7 6 2 1 5 0 3 4 8 ОБМЕН
3) 9 7 6 2 1 5 0 3 4 8 ОК
4) 9 7 6 2 1 5 0 3 4 8 ОК
5) 9 7 6 2 1 5 0 3 4 8 -> 9 7 6 2 5 1 0 3 4 8 ОБМЕН
6) 9 7 6 2 5 1 0 3 4 8 ОК
7, 8, 9) Ноль будет "всплывать" в конец, 3 ОБМЕНА

Всего будет 6 обменов, c = 6.

Объяснение:

Начало;

Ввод X, Y (они у нас уже есть в табл. 1 и 2 (к примеру, в 1 табл. X=9, Y=14));

X=Y (у нас X=9, Y=14; 9 не равна 14, а это значит мы идём по стрелочке "нет");

X>Y (9 не больше 14, идём по стрелочке "нет");

Y=Y-X (подставляем в формулу наши X, Y из табл. 1 и получаем Y=14-9=5);

Теперь переходим на новую строчку табл. 1. X остаётся прежним (9), а в Y пишем тот, что мы нашли (5). Начинаем всё заново.

X=Y (9 не равна 5, идём по стрелочке "нет");

X>Y (9 больше 5, а это значит мы идём по стрелочке "да");

X=X-Y (подставляем в формулу наши X, Y. Это уже будет X=9-5=4)

Теперь переходим на новую строчку табл. 1. X теперь 4, а Y остаётся  прежним (5). Начинаем всё заново.

Так проделываем каждый раз пока X не станет равно Y (в 1 табл. это 1=1).