Alessio

User info:

Registered: Nov 2007
Posts: 83 (0.01 al dì)
Location:
Corso: Informatica
Anno: 3
Time Online: 1 Day, 7:50:10 [...]
Status: Offline

Post actions:

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

Rocky

.arcimaestro.

User info:

Registered: Dec 2009
Posts: 337 (0.06 al dì)
Location:
Corso:
Anno:
Time Online: 6 Days, 0:17:10 [...]
Status: Offline

Post actions:

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

User info:

Registered: Nov 2007
Posts: 83 (0.01 al dì)
Location:
Corso: Informatica
Anno: 3
Time Online: 1 Day, 7:50:10 [...]
Status: Offline

Post actions:

Finalmente ho capito!!! Grazie!!!!!!!!

Rocky

.arcimaestro.

User info:

Registered: Dec 2009
Posts: 337 (0.06 al dì)
Location:
Corso:
Anno:
Time Online: 6 Days, 0:17:10 [...]
Status: Offline

Post actions:

Figurati