命题逻辑公式中的冗余子句及冗余文字

命题逻辑公式中的冗余子句及冗余文字

翟翠红,秦克云

Redundancy Clause and Redundancy Literal of Propositional Logic

ZHAI Cui-hong and QIN Ke-yun

计算机科学 . 2013, (5): 48 -50 .