洛阳理工学院学报(自然科学版)
洛暘理工學院學報(自然科學版)
락양리공학원학보(자연과학판)
JOURNAL OF LUOYANG INSTITUTE OF SCIENCE AND TECHNOLOGY
2011年
4期
77-79,87
,共4页
极小不可满足公式%MAX+(k)公式集%分裂对
極小不可滿足公式%MAX+(k)公式集%分裂對
겁소불가만족공식%MAX+(k)공식집%분렬대
对于极小不可满足公式和它的子类的研究是近年来兴起的一个热门方向.极小不可满足公式通过分裂得到的公式保持了极小不可满足性,它的子类的某些性质对于建立在分裂上的归纳证明是很有用的.找到了一个能递归构造的极小不可满足公式的子类M4X+,并证明这种递归构造方法具有可靠性和完备性,最后给出了一个构造实例.
對于極小不可滿足公式和它的子類的研究是近年來興起的一箇熱門方嚮.極小不可滿足公式通過分裂得到的公式保持瞭極小不可滿足性,它的子類的某些性質對于建立在分裂上的歸納證明是很有用的.找到瞭一箇能遞歸構造的極小不可滿足公式的子類M4X+,併證明這種遞歸構造方法具有可靠性和完備性,最後給齣瞭一箇構造實例.
대우겁소불가만족공식화타적자류적연구시근년래흥기적일개열문방향.겁소불가만족공식통과분렬득도적공식보지료겁소불가만족성,타적자류적모사성질대우건립재분렬상적귀납증명시흔유용적.조도료일개능체귀구조적겁소불가만족공식적자류M4X+,병증명저충체귀구조방법구유가고성화완비성,최후급출료일개구조실례.