Chapter 3, Problem 23PS

Compute the weakest precondition for each of the following assignment statements and postconditions:

1. a. a = 2 * (b - 1) - 1 {a > 0}
2. b. b = (c + 10) / 3 {b > 6)
3. c. a = a + 2 * b - 1{a > 1}
4. d. x = 2 * y + x - 1 {x > 11}