Ciência da Computação Aspecto Gerais Algoritmos

Considere a seguinte especificação para um processo que recebe como entrada um vetor V com n+1 posições e produz uma saída O que é verdadeira se e somente se o valor da primeira posição aparece em uma das n posições seguintes.

Pré: {n>1 }

A pós-condição que completa esta especificação é:

  • A.
  • B.
  • C.
  • D.
  • E.