Derive the weakest precondition for the sequence of assignment statements and their postconditions below: a) x=3y+ 1; y=a-5 {y <1} b) c 3 (1

Derive the weakest precondition for the sequence of assignment statements and their postconditions below: a) x=3y+ 1; y=a-5 {y 4}