A GLOBAL ANALYSIS ON THE CONSTRUCTION OF DISJUNCTIVE NORMAL FORM (DNF)

• 对于析取范式的构造的一个全局性分析