Logica: formule equisoddisfacibili
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
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
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)$
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)$
