首页 | 本学科首页   官方微博 | 高级检索  
     

部分四值逻辑中Sheffer函数的判定
引用本文:金辉霞,何骞. 部分四值逻辑中Sheffer函数的判定[J]. 计算机工程与应用, 2011, 47(29): 140-142. DOI: 10.3778/j.issn.1002-8331.2011.29.039
作者姓名:金辉霞  何骞
作者单位:1.湖南城市学院 物理与电信工程系,湖南 益阳 4130002.湖南城市学院 计算机科学系,湖南 益阳 413000
基金项目:湖南省教育厅科学研究课题(No.10C0498)
摘    要:多值逻辑是指一切逻辑值的取值数大于2的逻辑。Sheffer函数的判定问题是多值逻辑完备性理论中的一个重要问题,此问题的解决依赖于定出多值逻辑函数集中所有准完备集的最小覆盖。在深入研究部分四值逻辑中Sheffer函数的基础上,根据部分四值逻辑中准完备集的最小覆盖,给出了一个部分四值逻辑中Sheffer函数的判定算法。此算法能够判定任意一个函数是不是部分四值逻辑中的Sheffer函数。

关 键 词:多值逻辑  Sheffer函数  准完备集  最小覆盖  
修稿时间: 

Decision of Sheffer functions in partial four-valued logic
JIN Huixia,HE Qian. Decision of Sheffer functions in partial four-valued logic[J]. Computer Engineering and Applications, 2011, 47(29): 140-142. DOI: 10.3778/j.issn.1002-8331.2011.29.039
Authors:JIN Huixia  HE Qian
Affiliation:1.Department of Physics and Telecom Engineering,Hunan City University,Yiyang,Hunan 413000,China2.Department of Computer Science,Hunan City University,Yiyang,Hunan 413000,China
Abstract:Multiple-valued logic is the logic that has more than two values.One important problem in multiple-valued logic completeness theory is the decision of Sheffer function,which depends on deciding the minimal covering of the precomplete classes.In deep research on the Sheffer function in partial four-valued logic,the determinant algorithm of Sheffer functions in partial four-valued logic is given,which is according to the minimal covering of its precomplete classes.This algorithm can determine all Sheffer func...
Keywords:multiple-valued logic  Sheffer functions  precomplete sets  minimal covering
本文献已被 CNKI 维普 万方数据 等数据库收录!
点击此处可从《计算机工程与应用》浏览原始摘要信息
点击此处可从《计算机工程与应用》下载免费的PDF全文
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号