Este documento explica la sentencia "do while" en programación, la cual garantiza que un conjunto de operaciones se ejecute al menos una vez antes de verificar la condición. Se provee una definición formal, un ejemplo de un algoritmo de calculadora que usa esta sentencia, y una prueba de escritorio mostrando cómo el algoritmo funciona a través de múltiples ciclos hasta que el usuario decide salir.