布尔可满足性问题 可滿足性英語Satisfiability是用來解決給定的真值方程式是否存在一组变量赋值使問題为可满足布尔可滿足性問題Boolean satisfiability problemSAT 屬於決定性問題也是第一个被证明屬於NP完全的问题此問題在電腦科學上許多的領域皆相當重要包括電腦科學基礎理論演算法人工智慧硬體設計等等