命题逻辑中三元子句集的冗余文字

命题逻辑中三元子句集的冗余文字

李洁, 钟小梅

Redundant Literals of Ternary Clause Sets in Propositional Logic

LI Jie, ZHONG Xiao-mei

计算机科学 . 2022, (6A): 109 -112 . DOI: 10.11896/jsjkx.210700036