下列对C 语言中语句"while (P) S;"的解释中，正确的是( )。
先执行语句S，然后根据P的值决定是否再执行语句S
若条件P的值为真，则重复执行语句S，直到P的值为假
语句S至少会被执行一次
语句S不会被执行两次以上
