Neste trabalho estudamos a forma normal de equações diferenciais implícitas numa vizinhança de um ponto singular. Usando o teorema de transversalidade de Thom e a teoria das singularidades encontrou-se um subconjunto aberto e denso desta classe de equações que apresentam, apenas, singularidades boas. Tomando um elemento qualquer deste subconjunto, este apresenta apenas seis tipos de singularidades, este resultado foi provado por Dara. Apesar de ter conjecturado a forma normal das equações diferenciais implícitas, Dara não demonstrou, coube a Davydov demonstra-las. Para uma classe especial de equações diferencial implícitas, as equações diferencial binária (EDB), apresentamos a forma normal nos casos em que estas apresentam singularidades simples.