Exercise3:  
   
 

Operation Mystery3 (restores I: Integer): Boolean;
      requires:  I > 1;
      ensures:  Mystery3 = (for all J, K: N, J * K = I                         implies J = 1 or K = 1);

 
   
  Please select which test set is correct:
 

test set 1:
      inputs:         I = 1;
      outputs:       Mystery3 = True;

test set 2:
      inputs:         I = 5;
      outputs:      Mystery3 = True;

test set 3:
      inputs:         I = 10;
      out puts:     Mystery3 = False;

test set 4:
      inputs:         I = 15;
      outputs:      Mystery3 = True;
  1 and 4
2 and 3
4
none