Altri Linguaggi - LISP conversione formula ben formata in forma congiunta!

Salve a tutti,sono alle prese con un programma LISP che data in input una formula ben formata (fbf) la trasformi in forma normale congiunta (cnf).
Qualcuno sa come aiutarmi? le sto provando tutte!!
Grazie in anticipo