循环不变式的建立是在循环体中选取一个点,在该点建立一个逻辑表达式,使每次循环执行到该点时

8 查阅

循环不变式的建立是在循环体中选取一个点,在该点建立一个逻辑表达式,使每次循环执行到该点时

A.这个逻辑表达式在循环体中总是为真

B.这个逻辑表达式在循环体中总是为假

C.这个逻辑表达式在循环体中不总是为真

D.这个逻辑表达式在循环体中不总是为假

参考答案:

答案:这个逻辑表达式在循环体中总是为真