Find the weakest precondition for the following statement using the assignment axiom, the rule of sequential composition, and the inference rule for selection.

if(a > b) {

temp = a;

a = c;

c = temp

}

else {

temp = b;

b = c;

c = temp;

}

{ c > 5 }

Note: The inference rule for selection is:

if then clause :{B and P} S1 {Q}, {(not B) and P} S2 {Q}

else clause: {P} if B then S1 else S2 {Q}