Axiomatic Semantics: 1.a) - Determine the weakest precondition for the following sequence of expressions. Please provide all your work including calculations, logic implications if any applies, and final answer. { ? } a = 4 * (3 * b - a); b = 4 * a - 6; { b > 10 }

1.b) - Determine the strongest precondition for the following if-else statement. Please provide all your work including calculations, logic implications if any applies, and final answer. { ? } if (x > y) then y = 2 * x - 1 else y = 3 * x + 1; {y > 7}