由“s必然是p为真”，可推出______

A．s可能是p为真

B．s可能不是p为真

C．s必然不是p为假

D．s必然不是p为真

E．s可能是p为假

设有如下代码：
x=1
do
x=x+2
loop until ______
运行程序，要求循环体执行3次后结束循环，在空白处填入适当语句。