.dsy:it. - Esercizio Traduzione in FNC

.dsy:it.
//www.dsy.it

Esercizio Traduzione in FNC

Posted by Alessio on 16-06-2010 16:03

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