De acordo com a equivalência lógica, a negação da frase “Ana é dentista ou não fez universidade” é: