.dsy:it. - Esercizio

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

Esercizio

Posted by marcoguillermaz on 26-03-2010 15:53

Ciao a tutti sto facendo i temi d'esame per il compitino e mi è balzato all'occhio un problema con la dpll su un esercizio.
Mi date una mano??

allora nei due temi d'esame c'è questa espressione :

((q->p)->p)->q

l'altra è molto simile

((q->p)->q)->q

In entrambe chiede di verificare se siano tautologie, io come da procedura le nego, arrivando in fondo mi trovo una situzione di soddisfacibilità in entrambe le espressioni.

Potete verificare anche voi???

GRazie