Hola Alexis, ¿cómo andas?
Tu primera duda es sobre la opción b, esta es falsa porque cuando ejecuto por primera vez el cuerpo 1, todavía no he evaluado la condición 1, por lo que puede pasar que en este caso esa primera evaluación sea verdadera, aunque no se modifique ninguna variable de esa condición, y por tanto no se vuelva a iterar.
El resto de opciones son verdaderas. En particular, la opción D es verdadera porque si ejecuto cuerpo2 significa que ya se evaluó cond2 y fue verdadera, por lo que si no se modifica ninguna variable de cond2 esta condición va a seguir siendo verdadera y se va a seguir iterando.
Saludos,
Felipe
Tu primera duda es sobre la opción b, esta es falsa porque cuando ejecuto por primera vez el cuerpo 1, todavía no he evaluado la condición 1, por lo que puede pasar que en este caso esa primera evaluación sea verdadera, aunque no se modifique ninguna variable de esa condición, y por tanto no se vuelva a iterar.
El resto de opciones son verdaderas. En particular, la opción D es verdadera porque si ejecuto cuerpo2 significa que ya se evaluó cond2 y fue verdadera, por lo que si no se modifica ninguna variable de cond2 esta condición va a seguir siendo verdadera y se va a seguir iterando.
Saludos,
Felipe