Контрольная работа по "Программированию и компьютерам"

Вычислить wp и упростить.

a. wp("x:=x*(y-1)", x*y=c) = (x*(y-1)*y=c) = (xyy-xy=c)
b. wp("x:=x-2*y; skip", x>y) = wp("x:=x-2*y", wp("skip", x>y)) = wp("x:=x-2*y", x>y) = (x-2*y>y) = (x>3y)