Consider the following C code segment:
#include <stdio.h>
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;
}
}
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]
- $(j=(x-1)!)$ $\wedge$ $(i$$\geq x$$)$
- $(j=9!)$ $\wedge$ $(j=10)$
- $((j=10!)$ $\wedge$ $(i=10))$ $\vee$ $((j=(x-1)!)$ $\wedge$ $(i=x))$
- $(j=9!)$ $\wedge$$ (i\geqslant$$10$)) $\vee$ $((j=(x-1)!) $$\wedge$$ (i=x))$