.dsy:it. (http://www.dsy.it/forum/)
- Logica matematica (http://www.dsy.it/forum/forumdisplay.php?forumid=246)
-- Esercizi di Preparazione per il 1° compito del 30/03/09 (http://www.dsy.it/forum/showthread.php?threadid=38068)

Originally posted by Microke
Nel primo esercizio io non ho usato nessun spezzamento, e con q=s=0 e p=r=1 mi è venuto unsat

Il secondo esercizio mi viene come te

Il terzo mi viene sat :

p1 = 0, p4 = 1 ├ {p2 V p3,p2 V ¬p3}

p1 = 0, p4 = 1, p2 = 1 ├ {□}

Se metti p2=1 va via tutto,non resta nessuna clausola vuota..

Prova parziale 31 - Marzo 2008.
es 3.

Determinare il valore di verità della formula seguente, se V è una interpretazione tale che V(p)= F, V(q)=F, V(r)=F

(p->q) and (r or (¬q <-> ¬r))

l'avete fatto?

__________________
..fortunato io...

Originally posted by stenofa
Prova parziale 31 - Marzo 2008.
es 3.

Determinare il valore di verità della formula seguente, se V è una interpretazione tale che V(p)= F, V(q)=F, V(r)=F

(p->q) and (r or (¬q <-> ¬r))

l'avete fatto?

okkeyy!

__________________
..fortunato io...

Originally posted by darkshadow
PS: metto in allegato l'esercizio 5 e 6 di una delle versioni del primo compitino del 2008, guardate il testo per capire di quale si tratta; cmq entrambi gli esercizi sono della stessa versione.
Se non si capisce qulacosa fatemi sapere.

DS.

Re: Esercizi di Preparazione per il 1° compito del 30/03/09

Originally posted by darkshadow
Questi sono quelli che ho fatto per ora. Se qualcuno vuole controllare che siano giusti e se ci sono errori posti la soluzione giusta. Inoltre mi sapete dire cosa devo fare nella 7) che a un certo punto non so cosa applicare.

Ciao e grazie a chi vorrà partecipare!

Ds. [/B]

Re: Re: Esercizi di Preparazione per il 1° compito del 30/03/09

Originally posted by camno
confermo con Microke e:

1) non vi è nessuno split, e con "q=0 , p=1 , r=1 , s=0/1" viene UNSAT

2) corretto

3) semplicemente con "p3=0 , p2=1 , p1=0 , p4=1" viene "insieme vuoto", quindi SAT

4) corretto

5) corretto

6) corretto

7) con "p1=0 , p4=1" rimane la 'clausola vuota' di -p4, quindi risulta UNSAT





ps: non è per menarmela ma, rispetto agli appelli, posso garantire che queste DPLL (dei compitini) sono veramente semplici!
quindi, consiglio: approfittatene e FATE I COMPITINI!!

Re: Re: Re: Esercizi di Preparazione per il 1° compito del 30/03/09

Originally posted by niko_2307
mi spiegi perchè non va applicato lo split??

questa del letterale singolo non la sapevo...non ho trovato nessun riferimento sulle slide. grazie mille

Originally posted by Bennyk
Qualcuno ha fatto quest'esercizio?

8) Applicando la procedua DPLL, determinare se la seguente formula è o meno una tautologia.

                    (p1 → q1) V (p2 → q2) → (p1 v p2 → q1 V q2)

Originally posted by niko_2307
qualcuno riesce a postare lo svolgimento dell'8??

una volta trasformata in fnn non riesco a metterla in fnc

__________________
..fortunato io...

ragazzi chiamatemi cretino ma io ad oggi non so dire se ho un SAT o un UNSAT ...riesco a fare la procedura fino ad arrivare ai vari assegnamenti, tipo p=0, t=0, r=1, s=0 ...ma poi come faccio a dire se è un SAT o UNSAT? So che è 1 scemenza e che è facile, ma io non ho capito in base a cosa lo dico...

diciamo che io mi baso su questo:

se mi rimane (p , -p) assegno p=1 avrò UNSAT
...cioè se mi rimane una clausola a cui non posso assegnare un valore coerente con quelli già assegnati rimango bloccato e sn unsat?

Ma il criterio "vero" qual'è?

__________________
"And there goes the Challenger, being chased by the blue, blue meanies on wheels. The vicious traffic squad cars are after our lone driver, the last American hero, the electric centaur, the, the demi-god, the super driver of the golden west!"

qualcuno di voi sa quanto dura il primo compitino?

Originally posted by stenofa
sai perchè non riesci, almeno credo, perchè è scritta male. l'ultimo connettivo tra q1 e q2 è un and non un or!

Qualcuno di voi sa che tipo di valutazioni fa il professore ? Cioè se c'è un tot di es da fare ecc.