M04A16 – Sortear Sem Repetir

Bom dia!!
Estou com dúvida sobre o conceito do operador lógico ‘nao’, nesta aula o professor ensina como sortear um valor no vetor sem estar repetido, usando o operador ‘nao’. Eu não consegui compreender de fato a funcionalidade dele, gostaria de uma explicacão, já analisei a aula na qual o Guanabara ensina sobre esse operador e mesmo assim não obtive o ensinamento. Poderiam me dar uns exemplos de como ele funciona e em qual casos pode se usar ele?

  enquanto (p < u.numero_elementos(VETOR)){
		  	vetor[p] = u.sorteia(1, 10)
		  	encontrado = falso
		  	para (inteiro aux = 0; aux < p; aux++){
		  		se (vetor[aux] == vetor[p]){
		  			encontrado = verdadeiro
		  			pare
		  		}
		  	}
		  	se (nao encontrado){
		  		p++
		  	}
		  }