Logica: formule equisoddisfacibili

rekotc
Ciao a tutti, sto cercando di capire la definizione di formule equisoddisfacibili, sapete aiutarmi? Sulle dispense e su internet trovo che due formule A e B sono equisoddisfacibili se e solo se (A è soddisfacibile se e solo se lo è anche B)

a questo punto c'è un esempio :

NOT (p AND q) e (NOT p AND NOT q) sono equisoddisfacibili ma non logicamente equivalenti, non riesco assolutamente a capirne il motivo, forse mi sto perdendo in un bicchiere d'acqua.. :)

grazie mille per gli eventuali suggerimenti

Risposte
hamming_burst
Ciao,
penso ci si riferisca semplicemente a questo $not(p ^^ q) != (notp ^^ notq)$

cioè al variare dei valori p e q nelle due espressioni il risultato cambierà, quando una è vera l'altra sarà (logicamente) complementare.

NOTA (regola di De Morgan): $not(p ^^ q) = (notp vv notq)$ :-)

Rispondi
Per rispondere a questa discussione devi prima effettuare il login.