Please answer all of them, they're pretty simple.

Answer can also be NONE, thanks :)

21: The loop below computes the product of two integers: While Ucn) prod :# prod + m End-whle The pre-condition and post-condition for the loop are: Pre-condition: m and n are non-negative integers.0 and prod 0. Post-condition: prod-m n What is the correct loop condition? a. j is an integer such thatjn, and prod n b.jisan nteger such that j