国际空间研究组织 | ISRO CS 2018 |问题 6

考虑以下 C 代码段：

#include 
main()
{
    int i, j , x ;
    scanf("%d", &x);
    i = 1 ; j = 1;
    while ( i< 10 ) {
          j = j * i;
          i = i + 1;
          if (i == x) break ;
          }
 }

对于上面的程序片段，以下关于变量 i 和 j 的陈述在该程序执行后必须为真？ [!(exclamation) 符号表示答案中的阶乘]

(A) ( j = (x - 1 )!) ∧ (i >= x)
(B) (j = 9!) ∧ (i =10)
(C) (( j = 10!) ∧ (i = 10 )) V (( j = (x - 1)!) ∧ (i = x ))
(D) (( j = 9!) ∧ (i = 10)) V (( j = (x - 1)!) ∧ (i = x ))答案： (D)
解释：
这个问题的测验
如果您在上面的帖子中发现任何错误，请在下方评论