Arquivos de tags: equivalências e negações lógicas