An Investigation on the Algorithm for Decision of Validity of Disjunctive Normal Form (DNF) by the Triangle Form

• 用三角式判定析取范式永真性的算法研究