 | |
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 Traduzione in FNC
Clicca QUI per vedere il messaggio nel forum |
| Alessio |
Ciao a tutti, vi chiedo una cortesia ... non riesco a tradurre in FNC questa formula mi potreste aiutare?
p ʌ (q V (( not p V not r ) ʌ r )) ʌ (q -> not p)
L'esercizio chiede di verificare che sia insoddisfacibile quindi NON la nego e procedo a portarla prima in FNN
io arrivo ad avere
p ʌ (q V ((not p V not r ) ʌ r)) ʌ (not q V not p)
e non so più andare avanti.
Grazie 1000 in anticipo |
| michele.c |
Devi applicare le leggi distributive.
p ʌ ( q V (not p V not r ) ʌ (q v r) ) ʌ (not q V not p)
p ʌ ( q V not p V not r ) ʌ (q v r) ʌ (not q V not p) |
| Alessio |
| Finalmente ho capito!!! Grazie!!!!!!!! :D |
|
|
|
|
