b'\n_START_ARTICLE_\nEquissatisfatibilidade\n_START_PARAGRAPH_\nEm L\xc3\xb3gica, duas f\xc3\xb3rmulas s\xc3\xa3o equissatisfat\xc3\xadveis se a primeira f\xc3\xb3rmula \xc3\xa9 satisfat\xc3\xadvel toda vez que a segunda f\xc3\xb3rmula tamb\xc3\xa9m for e vice versa. Em outras palavras: ou as duas f\xc3\xb3rmulas s\xc3\xa3o satisfat\xc3\xadveis ou nenhuma \xc3\xa9. Duas f\xc3\xb3rmulas equissatisfat\xc3\xadveis podem ter diferentes modelos, desde que nenhuma delas ou ambos tenham algum modelo. Como resultado, temos que a equissatisfatibilidade \xc3\xa9 diferente da equival\xc3\xaancia l\xc3\xb3gica, pois duas f\xc3\xb3rmulas logicamente equivalentes sempre possuem os mesmos modelos._NEWLINE_Geralmente, o conceito de equissatisfatibilidade \xc3\xa9 utilizado na convers\xc3\xa3o de f\xc3\xb3rmulas, ou seja, pode se afirmar que uma convers\xc3\xa3o est\xc3\xa1 correta se a f\xc3\xb3rmula original e a resultante s\xc3\xa3o equissatisfat\xc3\xadveis. Exemplos de convers\xc3\xb5es envolvendo esse conceito s\xc3\xa3o a Skolemiza\xc3\xa7\xc3\xa3o e algumas transforma\xc3\xa7\xc3\xb5es para a forma normal conjuntiva.\n_START_SECTION_\nExemplos\n_START_PARAGRAPH_\nUma convers\xc3\xa3o da l\xc3\xb3gica proposicional para a pr\xc3\xb3pria l\xc3\xb3gica proposicional em que toda disjun\xc3\xa7\xc3\xa3o bin\xc3\xa1ria a \\vee b \xc3\xa9 substitu\xc3\xadda por ((a \\vee n) \\wedge (\\neg n \\vee b)), onde n \xc3\xa9 uma nova vari\xc3\xa1vel (uma para cada disjun\xc3\xa7\xc3\xa3o substitu\xc3\xadda), \xc3\xa9 uma transforma\xc3\xa7\xc3\xa3o em que a satisfatibilidade \xc3\xa9 preservada, ou seja, a f\xc3\xb3rmula original e a resultante s\xc3\xa3o equissatisfat\xc3\xadveis. Note que essas duas f\xc3\xb3rmulas n\xc3\xa3o s\xc3\xa3o equivalentes, pois existe um modelo que torna a primeira f\xc3\xb3rmula verdadeira e a segunda falsa: quando b \xc3\xa9 verdadeiro enquanto a e n s\xc3\xa3o falsos. Entretanto, alterando-se apenas a valora\xc3\xa7\xc3\xa3o de n para verdadeiro no modelo do caso anterior, temos que ambas as f\xc3\xb3rmulas s\xc3\xa3o satisfat\xc3\xadveis, e isso demonstra a equissatisfatibilidade entre as duas.'