Цикл, с постусловием (do-while) – это цикл, в котором условие проверяется после выполнения тела цикла. Отсюда следует, что тело do-while выполняется хотя бы один раз.
Пример использования цикла с постусловием и его блок-схема:

Данный цикл выполнится 3 раза. Если бы условие для выполнения цикла было counter < 0, то цикл выполнился бы 1 раз, что отличает его работу от цикла с предусловием.
Источник: видеоурок Александра Шевчука "ВИДЕОУРОК №6. ЦИКЛИЧЕСКИЕ КОНСТРУКЦИИ".
предыдущая статья