.dsy:it. - esercizio dpll 1° compitino 31/03/08

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

esercizio dpll 1° compitino 31/03/08

Posted by Vincy07 on 04-04-2008 20:38

Ciao ragazzi, gentilmente mi risolvereste il seguente esercizio (preso dal mio compitino) per capire dove ho sbagliato (non vorrei aspettare il ricevimento del venerdì prossimo per farmelo spiegare).

Allora 6° esercizio, controllare se è una tautologia o no:

(p1-->q1) Λ (p2-->q2) --> (p1vq1) --> (q1Λq2)

Ringrazio anticipatamente

ciauz