ISRO | ISRO CS 2018 | Question 6

Consider the following C code segment:

#include 
main()
{
    int i, j , x ;
    scanf("%d", &x);
    i = 1 ; j = 1;
    while ( i
For the program fragment above, which of the following statements about the variables i and j must be true after execution of this program? [!(exclamation) sign denotes factorial in the answer]
(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 ))

Answer: (D) 
Explanation: 
Quiz of this Question
Please comment below if you find anything wrong in the above post