Uma estrutura de programação do tipo ENQUANTO somente será executada se a primeira condição for satisfeita.