Программа S является правильной при заданных Q и R, если спецификация {Q} S {R} является:
(Отметьте один правильный вариант ответа.)
Варианты ответа
тавтологией(Верный ответ)
ложной
ложной при любых условиях