Explain everything

4. Compute the weakest precondition for each of the following sequences of assignment statements and their postconditions: 1.a=2b+1;b=a3{b5}