adicionado metodo Exemplo_CNF_Detalhado