Explain everything

23. Compute the weakest precondition for each of the following assignment statements and postconditions: 1. a=2(b1)1{a>0} 2. b=(c+10)/3{b>6} 3. a=a+2b1{a>1} 4. x=2y+x1{x>11}