评估表达式是否是重言式

Question

我正在寻找一种算法来查找表达式是否是重言式？我尝试使用真值表（蛮力），但在我的情况下这是不可行的。

Answer 1

一个公式是一个重言式，当且仅当它的否定是可满足的。可满足性是一个NP难题，但存在比强力更好的many solvers。