Verifica se a condição é "false"; se for, executa os blocos envolvidos e verifica de novo a condição. Se a condição for "true", passa para os blocos que se seguem.