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

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

基本释义

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