循环不变式的建立是在循环体中选取一个点,在该点建立一个逻辑表达式,使每次循环执行到该点时
A.这个逻辑表达式在循环体中总是为真
B.这个逻辑表达式在循环体中总是为假
C.这个逻辑表达式在循环体中不总是为真
D.这个逻辑表达式在循环体中不总是为假
正确答案:这个逻辑表达式在循环体中总是为真
相关答案
热门答案