Правило вывода для оператора цикла с заданным предусловием P и условием цикла B имеет вид:

Варианты ответов

• {В } А{P} |- {Р} while В do А{Р∨B}
• {Р} А{В } |- {Р} while В do А{Р∨В }
• {Р∧В } А{P} |- {Р} while В do А{Р∨B}
• {Р∧В) А{Р} |- {Р} while В do А{Р ∨В }
• {Р∧B} А{P} |- {Р} while В do А{Р∨B}

Правильный ответ

Мы уже решили этот тест — хочешь ответы? Пиши в Telegram | Max | WhatsApp. Подробнее об услуге тут.