Questo sito utilizza cookies solo per scopi di autenticazione sul sito e nient'altro. Nessuna informazione personale viene tracciata. Leggi l'informativa sui cookies.
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