Если выполнение тела цикла заканчивается, когда условие цикла становится истинным, то он называется:

Такой цикл называется циклом "do-while". В цикле "do-while" тело цикла выполняется в первый раз без проверки условия, а затем продолжает выполняться до тех пор, пока условие остается истинным.

Вот пошаговое решение для понимания цикла "do-while":

1. Начинаем с выполнения тела цикла.
2. Проверяем условие.
- Если условие истинно, возвращаемся к шагу 1 и повторяем выполнение тела цикла.
- Если условие ложно, переходим к следующей инструкции после цикла.

Пример кода на языке программирования C++:

```cpp
int i = 1; // инициализируем переменную i с начальным значением 1

do {
cout << "Текущее значение i: " << i << endl; // выводим текущее значение i
i++; // увеличиваем i на 1
} while (i <= 5); // проверяем условие: i должно быть меньше или равно 5

cout << "Цикл завершен." << endl; // выводим сообщение после цикла
```

Я объясню, что происходит в этом примере:

1. Инициализируем переменную `i` с начальным значением 1.
2. Входим в цикл `do`.
3. Выводим текущее значение `i`, которое на данный момент равно 1.
4. Увеличиваем `i` на 1, получаем значение 2.
5. Проверяем условие: `i` равно или меньше 5.
- Условие выполняется, так как `i` равно 2 и это меньше 5.
- Возвращаемся к шагу 3 и повторяем выполнение тела цикла.
6. Выводим текущее значение `i`, которое на данный момент равно 2.
7. Увеличиваем `i` на 1, получаем значение 3.
8. Проверяем условие: `i` равно или меньше 5.
- Условие выполняется, так как `i` равно 3 и это меньше 5.
- Возвращаемся к шагу 3 и повторяем выполнение тела цикла.
9. Процесс повторяется, выполняя шаги 6-8, пока `i` не достигнет значения 6.
10. При значении `i` равном 6, выполняем шаг 8.
- Условие не выполняется, так как `i` равно 6 и это больше 5.
- Выходим из цикла `do-while`.
11. После цикла, выводим сообщение "Цикл завершен."

Таким образом, цикл "do-while" выполняется по крайней мере один раз и продолжает выполнение до тех пор, пока условие остается истинным.