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