重言式验证算法

Question

对于超过2个命题变量，tautology verification是否有更好的算法。

Brute force将使用O（2 ^ n）来验证所有可能的真值。