[TPI] Najsłabszy warunek wstępny - pętla

[paczam]

Proszę o pomoc w zadaniu,

Kod: Zaznacz cały

if x >= 5 then
begin
y=y+3;
x=y-x;
end

dla warunku końcowego {\(\displaystyle{ x < 70 \wedge y > 3}\)}

należy wyznaczyc nww, znalazłem wzór jednak zakłada on konstrukcję pętli if z else, a w zadaniu mamy tylko if, oto on:
nww(if W then S1 else S2, q) = (W ! \(\displaystyle{ \Rightarrow}\) nww(S1, q)) \(\displaystyle{ \wedge}\) (¬W ! \(\displaystyle{ \Rightarrow}\) nww(S2, q))
lub
nww(if W then S1 else S2, q) = (W \(\displaystyle{ \wedge}\) nww(S1, q)) \(\displaystyle{ \vee}\) (¬W \(\displaystyle{ \wedge}\) nww(S2, q))

jak więc go dostosować do danego zadania? Proszę o jakąkolwiek pomoc.