 | |
Il progetto dsy.it è l'unofficial support site dei corsi di laurea del Dipartimento di Scienze dell'Informazione e del Dipartimento di Informatica e Comunicazione della Statale di Milano. E' un servizio degli studenti per gli studenti, curato in modo no-profit da un gruppo di essi. I nostri servizi comprendono aree di discussione per ogni Corso di Laurea, un'area download per lo scambio file, una raccolta di link e un motore di ricerca, il supporto agli studenti lavoratori, il forum hosting per Professori e studenti, i blog, e molto altro...
In questa sezione è indicizzato in textonly il contenuto del nostro forum |
esercizio dpll 1° compitino 31/03/08
Clicca QUI per vedere il messaggio nel forum |
| Vincy07 |
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 |
|
|
|
|
