檢視布尔可满足性问题的原始碼

[[File:布尔可满足性问题.jpeg|有框|右|<big></big>[https://www.kfzimg.com/sw/kfzimg/1290/f03548e6002a5f55_s.jpg 原图链接][http://book.kongfz.com/252403/939608520/ 来自 孔夫子旧书网 的图片]]]

'''布尔可满足性问题'''（有时称为命题可满足性问题，缩写为SATISFIABILITY或SAT）是指在[[计算机]]科学中，是确定是否存在满足给定布尔公式的解释的问题。换句话说，它询问给定布尔公式的变量是否可以一致地用值TRUE或FALSE替换，公式计算结果为TRUE。

如果是这种情况，公式称为可满足。另一方面，如果不存在这样的赋值，则对于所有可能的变量赋值，公式表示的[[函数]]为FALSE，并且公式不可满足。例如，公式“a AND NOT b”是可以满足的，因为可以找到值a = TRUE且b = FALSE，这使得（a AND NOT b）= TRUE。相反，“a AND NOT a”是不可满足的。<ref>[https://blog.sciencenet.cn/blog-290937-255117.html 布尔可满足性问题（二） ]，科学网 ，2009-09-12</ref>