✅ Перевірена відповідь на це питання доступна нижче. Наші рішення, перевірені спільнотою, допомагають краще зрозуміти матеріал.
Which of the following programs represent the specification:
p holds if q and r hold; otherwise, if q
does not hold p holds if s holds.