Compute the weakest precondition(wp) for each of the following selection constructs and their postconditions:

if (x>y)

y= 2*x +1

else

y=3*x -1;

{b>1}