Based on the above results, an approximate fast algorithm is obtained for the decision problem of DNF validity. Using this algorithm, most DNF validity problems can be solved in polynomial time.

• 基于所得结果,对于析取范式永真性判定问题得出了一个近似快速的求解算法,按此算法,对绝大多数的析取范式,其永真性问题,在多项式时间内都可解决。