.dsy:it. (http://www.dsy.it/forum/)
- Logica matematica (http://www.dsy.it/forum/forumdisplay.php?forumid=246)
-- Esercizio Traduzione in FNC (http://www.dsy.it/forum/showthread.php?threadid=40602)

Esercizio Traduzione in FNC

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

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)

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

Figurati