Так как спецификация программы является предикатом, то она может быть:
(Ответ считается верным, если отмечены все правильные варианты ответов.)
Варианты ответа
истинной(Верный ответ)
ложной(Верный ответ)
сложной
полной
пустой
простой