.dsy:it. - Aiuto DPLL

.dsy:it.
//www.dsy.it

Aiuto DPLL

Posted by darkshadow on 28-03-2008 15:34

Ciao ragazzi.

Ho saltato le ultime lezioni di logica in cui ha spiegato le DPLL.
Qualcuno puo' gentilmente fare qualche esempio di come funziona??
magari commentando l'esercizio in modo tale da capire come si fanno.

Ho dato uno sguardo sulle dispense ma ci sono solo delle formule e gli esercizi non vengono commentati quindi è difficile capire come funziona.

Grazie in anticipo.