计算机科学
計算機科學
계산궤과학
COMPUTER SCIENCE
2013年
5期
48-50
,共3页
冗余子句%冗余文字%无冗余等价子集%可满足性
冗餘子句%冗餘文字%無冗餘等價子集%可滿足性
용여자구%용여문자%무용여등개자집%가만족성
主要研究命题逻辑公式中的冗余子句和冗余文字.针对子句集中必需的、有用的、无用的子句,分别给出了一些等价描述方法,进而讨论子句集的无冗余等价子集.另外,得到了子句集中冗余文字的判别方法,借助可满足性给出了冗余子句的一种等价条件.上述结果为命题逻辑公式的化简奠定了一些理论基础.
主要研究命題邏輯公式中的冗餘子句和冗餘文字.針對子句集中必需的、有用的、無用的子句,分彆給齣瞭一些等價描述方法,進而討論子句集的無冗餘等價子集.另外,得到瞭子句集中冗餘文字的判彆方法,藉助可滿足性給齣瞭冗餘子句的一種等價條件.上述結果為命題邏輯公式的化簡奠定瞭一些理論基礎.
주요연구명제라집공식중적용여자구화용여문자.침대자구집중필수적、유용적、무용적자구,분별급출료일사등개묘술방법,진이토론자구집적무용여등개자집.령외,득도료자구집중용여문자적판별방법,차조가만족성급출료용여자구적일충등개조건.상술결과위명제라집공식적화간전정료일사이론기출.
