Implementação da equivalência em DL