Joliet Jake

.illuminato.

User info:

Registered: Oct 2006
Posts: 249 (0.04 al dì)
Location: Milano
Corso: Informatica triennale
Anno: 3
Time Online: 1 Day, 4:31:25 [...]
Status: Offline

Post actions:

esercizio risolto 1.2 luglio 2006

scusate ma non capisco la soluzione scritta dal nostro amico .. ho capito che si sceglie un solo ramo, e qui va bene..
arrivo fino a:
(non) Q8a), (non) Q(b), P(a), (non) P(b), *

dopodichè non dovrebbero essere tutti negati gli R successivi?
nell'esercizio stesso c'è
Nota: V = per ogni

VxVy (non) R(x,y)

quindi dovrebbe continuare con tutte le combinazioni di x e y come parametri di R, ma negate!!

o sbaglio?

fatemi sapere se non so fare gli esercizi o se se è sbagliato lui...

__________________
In Blues We Trust

DarkStalker

.consigliere.

User info:

Registered: Jun 2002
Posts: 115 (0.01 al dì)
Location:
Corso:
Anno:
Time Online: 2 Days, 4:56:07: [...]
Status: Offline

Post actions:

Non ho ben capito la domanda, cmq di solito non si negano i parametri
ma resta negato solo R

Joliet Jake

.illuminato.

User info:

Registered: Oct 2006
Posts: 249 (0.04 al dì)
Location: Milano
Corso: Informatica triennale
Anno: 3
Time Online: 1 Day, 4:31:25 [...]
Status: Offline

Post actions:

no dico, i parametri lo so che non si possono negare ma se ho (perogni)x (perogni)y R(x,y) devo fare tutte le combinazioni di x e y ma R è negato.. e allora perchè nella soluzione vengono messe quelle coppie, se compaiono con R negato?

cioè se ho A = {a,b} e nell'ultima foglia del ramo compare (non)P(a), io non scrivo mica I(P) = {a}!!

__________________
In Blues We Trust

Last edited by Joliet Jake on 18-09-2007 at 20:03