.dsy:it. (http://www.dsy.it/forum/)
- Logica matematica (http://www.dsy.it/forum/forumdisplay.php?forumid=246)
-- esercizio dpll 1° compitino 31/03/08 (http://www.dsy.it/forum/showthread.php?threadid=34578)

esercizio dpll 1° compitino 31/03/08

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