explain all the options whether it is correct or not. Answer in typed answer please.

Which of the following is not true of a loop invariant? If it is True just before entering the loop, it must also be True right after executing the last line of the loop, even if it temporarily stops being True somewhere within the body of the loop. It is a proposition, and therefore evaluates to a True or False value. It must be a tautology. If the loop invariant is True before entering a loop, the loop entry condition may still be False, meaning that the loop would not be executed and the loop invariant would remain True by default