Answer Happy

determine the precondition for the following statements andpostconditions. Where necessary, simplify the precondition
i. ii. iii. iv. V. Precondition Statement X:=x+y X: XX y X:=x-y y :=0-x X:=XX 2+3 Postcondition {x<2xy} {xxy=C} {x>2} {y <0^x+y} {x>1}