布爾可滿足性問題

可滿足性 （ 英語 ： Satisfiability ） 是用來解決給定的真值方程式 ， 是否存在一組變量賦值 ， 使問題爲可滿足 。 布爾可滿足性問題 （ Boolean satisfiability problem ； SAT ） 屬於決定性問題 ， 也是第一個被證明屬於NP完全的問題 。 此問題在電腦科學上許多的領域皆相當重要 ， 包括電腦科學基礎理論 、 演算法 、 人工智慧 、 硬體設計等等 。