Вычислить слабейшее предусловие по постусл-ю

[stufen]

Дано постусловие программы:
      R:     ( X = B  V  A < B + 2 )

  и текст программы:

       S:        if A >  B then 
                     A := B + A
                  else
                     X := A + 20 - B ;

Вычислить слабейшее предусловие.

Напиши или объясните плиз...суть этих слов понимаю, но сделать не получается

[stufen]

Ну помогите плиз...