评估表达式是否是重言式

Question

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

Answer 1

当且仅当其否定是可满足时，公式才是重言式。可满足性是一个NP难题，但有many solvers比蛮力更好。