Логика программирования: цикл с постусловием в блок-схемах