Questo sito utilizza cookies solo per scopi di autenticazione sul sito e nient'altro. Nessuna informazione personale viene tracciata. Leggi l'informativa sui cookies.
Ciao a tutti, mi servirebbe una mano su un programmino da scrivere in lisp che converte formule ben formate (fbf) in forma congiunta cioè cnf. Sono bloccato in alcuni punti del programma nessuno per caso ha già dovuto fare un programma simile?