 | |
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 |
metodo strutturale
Clicca QUI per vedere il messaggio nel forum |
| Simeon |
Ciao a tutti, volevo sapere se qualcuno saprebbe dimostrarmi che
(p1 ^ q1) v (p2 ^ q2) v (p3 ^ q3)
diventa
(a1 v a2 v a3) ^ (¬a1 v p1) ^ (¬a1 v q1) ^ (¬a2 v p2) ^ (¬a2 v q2) ^ (¬a3 v p3) ^ (¬a3 v q3)
tramite applicazione del metodo strutturale.
Presumo ci siano esercizi dove bisogna trasformare una formula in forma normale congiuntiva, e mi preoccupa non saper fare la roba qui sopra.
EDIT: mi sfuggono inoltre le regole sulle parentesi, la formula (p1 ^ q1) v (p2 ^ q2) v (p3 ^ q3) ad esempio come va interpretata ?
(p1 ^ q1) v ( (p2 ^ q2) v (p3 ^ q3) ) cosi ?
Sulle dispense si parla di regole di abbreviazione ma si riferiscono alle semplici lettere proposizionali tipo p^q^r che si legge p^(q^r), vale lo stesso per formule tipo quella sopra? |
|
|
|
|
