I need help solving this Hoare Logic problem, it is in English and German.

{ 0AY>0} if >y then r:=x - y elser :=y-z fi {r >0} Task/Aufgabenstellung: Show the correctness of the Hoare Triple by applying the rule given below and simplify the printout as much as possible.. Zeigen Sie die Korrektheit des Hoare Triples durch Anwendung der unten gegebenen Regel und vereinfachen Sie den Ausdruck weitest mglich. conditional/Verzweigung: {Q Ab} Si {R} {Q ^-6} S2 {R} {Q} if b then S else S, fi {R} Remark: Please, use x^{2} for x? and x_{2} for X. Please, use AND for A and OR for V. For the fraction write a line ----- between top and bottom content. Hinweis: Bitte benutzen Sie fr x als Ersatz x^{2} und fr x2 ersatzweise x_{2}. Bitte benutzen Sie AND fr A und OR fr V. Fr den Bruchstrich schreiben Sie eine Linie ----- zwischen oberem und unterem Inhalt. { 0AY>0} if >y then r:=x - y elser :=y-z fi {r >0} Task/Aufgabenstellung: Show the correctness of the Hoare Triple by applying the rule given below and simplify the printout as much as possible.. Zeigen Sie die Korrektheit des Hoare Triples durch Anwendung der unten gegebenen Regel und vereinfachen Sie den Ausdruck weitest mglich. conditional/Verzweigung: {Q Ab} Si {R} {Q ^-6} S2 {R} {Q} if b then S else S, fi {R} Remark: Please, use x^{2} for x? and x_{2} for X. Please, use AND for A and OR for V. For the fraction write a line ----- between top and bottom content. Hinweis: Bitte benutzen Sie fr x als Ersatz x^{2} und fr x2 ersatzweise x_{2}. Bitte benutzen Sie AND fr A und OR fr V. Fr den Bruchstrich schreiben Sie eine Linie ----- zwischen oberem und unterem Inhalt