La sentencia es ejecutada repetidamente mientras la condición resulte falsa.

Si no se especifica condición se asume que es "true", y el bucle se ejecutará indefinidamente.

A diferencia del bucle "while", la evaluación se realiza después de ejecutar la sentencia, de modo que se ejecutará al menos una vez.