V2 and not B} OP2
Правило вывода IF4
–«Условный оператор if»
If
{V1 and B} OP1 {P} and
{ V2 and not B} OP2 {Р}
then
(V1 and V2} if В then OP1 else OP2 endif {Р} <
Правило вывода IF4
также следует из правил вывода IF1
и P1. Подобно правилу вывода IF3
оно обладает определенной практической полезностью вследствие простоты формы предусловия (V1 and V2).