什么是布尔可满足性问题

布尔可满足性问题就是确定是否存在满足给定布尔公式的解释的问题。

量科快讯