.dsy:it. - DPLL - Regola spezzamento

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

DPLL - Regola spezzamento

Posted by Simeon on 10-02-2008 22:48

Ciao a tutti, volevo sapere se qualcuno poteva chiarirmi la regola dello spezzamento.

Mi ritrovo in un esercizio sul DPLL ad avere una situazione del genere:

p1=0, p4=1 |- {p2 V p3, p2 V ¬p3}

Ora, se applico lo spezzamento su p3 e' tutto ok, se lo applico su p2 invece qualcosa non quadra.

Il mio dubbio era: ma per applicare la regola dello spezzamento su un p bisogna avere sia p che ¬p nell'insieme delle clausole? Non riesco a trovare una conferma sulle slide :\