布尔可满足性问题 ความหมายคือ 布尔可满足性问题