Consider the following correctness statements where S is any terminating code. In each case give the least restrictive conditions that the code S has to satisfy in order to make the correctness statement valid. (a) ASSERT( false ) ASSERT true ) (b) ASSERT( false) ASSERT false) Note that the above are obviously not very "useful" correctness statements. Here you are only expected to determine whether or not they are valid, as defined in class (and in Section 2.2) Consider the following correctness statements where S is any terminating code. In each case give the least restrictive conditions that the code S has to satisfy in order to make the correctness statement valid. (a) ASSERT( false ) ASSERT true ) (b) ASSERT( false) ASSERT false) Note that the above are obviously not very "useful" correctness statements. Here you are only expected to determine whether or not they are valid, as defined in class (and in Section 2.2)