Satisfazibilidade
Origem: Wikipédia, a enciclopédia livre.
Em lógica matemática, o problema da satisfazibilidade (do verbo satisfazer, adj. satisfazível, do lat. satisfacere) consiste em determinar para uma dada fómula ou conjunto de fórmulas de uma linguagem lógica L, se existe uma interpretação, i.e., uma atribuição de valores de verdade ou valoração que torna essas proposições verdadeiras. Este problema pertence à classe dos problemas genericamente designados como NP-completos, que desempenham um papel central em Lógica e na Teoria da Computabilidade.
