我有一个布尔公式：（x_ {1}或x_ {2}）和（x_ {3}或x_ {4}）和.....和（x_ {2r-1}或x_ {2r}），其中 x_ {i} 属于集合： {p_ {1}，p_ {2}，... p_ {99}，〜 p_ {1}，~p_ {2}，... ~p_ {99}} 我必须确定给定公式的 x_ {i} 的某些值是否为真
我知道这一般在计算上很困难。但是，有什么特别快的方法可以解决这个特殊问题吗？到目前为止，我已经尝试了回溯 - 这是在递归中我对每个可能的值（0或1所以不是很多）代入每个可能的变量，并且每个尚未获得值的变量都是非常正确的。在我深入了解递归之前，我会查看公式（即使并非所有变量都有值），如果它是假的，我也不会更深入。但它太慢了。有任何想法吗？我非常感谢你的帮助。