Step 1:
int k=1; The variable
k is declared as an integer type and initialized to '1'.
Step 2: printf("%d == 1 is" "%s\n", k, k==1?"TRUE":"FALSE"); becomes
=> k==1?"TRUE":"FALSE"
=> 1==1?"TRUE":"FALSE"
=> "TRUE"
Therefore the output of the program is 1 == 1 is TRUE