Compute the weakest precondition for each of the following assignment statements with their given postconditions.

(a) a = 2 * (b 1) 1 {a > 0}

(b) a = a + 2 * b 1 {a > 1}