Correct answers for computing the weakest precondition

There are two things you should know:

1) Note that the appearance of the left side of the assignment statement in its right side does not affect the process of computing the weakest precondition. (see PDF page 151)

2) The weakest precondition is the least restrictive precondition that will guarantee the validity of the associated postcondition. (PDF page 149)