论文部分内容阅读
根据部分K值逻辑的完备性理论以及准完备集之间的相似关系理论,定出了部分四值逻辑的所有准完备集的最小覆盖,从而解决了部分四值逻辑中Sheffer函数的判定问题。
部分四值逻辑中准完备集的最小覆盖
【摘 要】
：
根据部分K值逻辑的完备性理论以及准完备集之间的相似关系理论,定出了部分四值逻辑的所有准完备集的最小覆盖,从而解决了部分四值逻辑中Sheffer函数的判定问题。
【机 构】
：
中南林业科技大学理学院,湘潭大学信息工程学院
【出 处】
：
计算机工程与应用
【发表日期】
：
2012年23期
【基金项目】
：
国家自然科学基金（No.60673193）,中南林业科技大学校青年基金（No.QJ2010021B）
其他文献
随着新课改的推进,对学生学习能力的培养变得更加重要。尤其是在小学信息技术教学中,教师要从'重讲授'中脱离出来,逐渐过渡到'轻讲授',让学生主动学习。在这
结合课文内容进行仿写练习,是开阔学生习作思路,提高学生读写水平的有效措施,也是将课本走向生活的途径。充分利用文本,引导学生读懂文本,领悟作者观察生活、表达思想情感的
近年来,随着离婚率的上升,离异家庭子女也越来越多,这已经成为一个普遍性的社会问题。父母离异给子女的心理健康造成很大的消极影响,使他们中的很多人出现了心理缺陷。本文主