Esse laço do-while quer dizer: "faça isso" -> código -> "enquanto essa condição for verdadeira, repita". "faça aquilo" -> código -> "enquanto ess...

O laço do-while significa "faça isso" -> código -> "enquanto essa condição for verdadeira, repita". Ou seja, o código dentro do laço será executado pelo menos uma vez, e depois continuará sendo executado enquanto a condição especificada for verdadeira. Quando a condição se tornar falsa, o laço será interrompido e a execução do programa continuará a partir do ponto seguinte ao laço.