评估表达式是否重言式

Question

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

Answer 1

一个公式是重言式当且仅当它的否定是可满足的。可满足性是一个 NP 难问题，但有 many solvers 比蛮力做得更好。