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

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