Vamos analisar cada uma das alternativas para identificar a verdadeira: A) A condição dentro de um laço while e do-while não precisa ser colocada dentro de parênteses. FALSO. Na linguagem C, a condição deve sempre ser colocada entre parênteses. B) Os laços while e for executam sempre, pelo menos uma vez, o corpo do laço. FALSO. O laço `while` pode não executar o corpo do laço se a condição for falsa desde o início. O mesmo se aplica ao `for`. C) O laço do .. while executa sempre, pelo menos uma vez, o corpo do laço. VERDADEIRO. O laço `do-while` garante que o corpo do laço seja executado pelo menos uma vez, pois a condição é verificada após a execução do corpo. Portanto, a alternativa correta é: C.