|
Vincy07 |
.novellino.
Registered: Jul 2007
Posts: 2 (0.00 al dì)
Location:
Corso:
Anno:
Time Online: 4:00:43 [...]
Status: Offline
Edit | Report | IP: Logged |
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
|