部分四值逻辑中Sheffer函数的判定  

Decision of Sheffer functions in partial four-valued logic

作　　者：金辉霞[1] 何骞[2] 

机构地区：[1]湖南城市学院物理与电信工程系,湖南益阳413000 [2]湖南城市学院计算机科学系,湖南益阳413000

出　　处：《计算机工程与应用》2011年第29期140-142,共3页Computer Engineering and Applications

基　　金：湖南省教育厅科学研究课题(No.10C0498)

摘　　要：多值逻辑是指一切逻辑值的取值数大于2的逻辑。Sheffer函数的判定问题是多值逻辑完备性理论中的一个重要问题,此问题的解决依赖于定出多值逻辑函数集中所有准完备集的最小覆盖。在深入研究部分四值逻辑中Sheffer函数的基础上,根据部分四值逻辑中准完备集的最小覆盖,给出了一个部分四值逻辑中Sheffer函数的判定算法。此算法能够判定任意一个函数是不是部分四值逻辑中的Sheffer函数。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 ShelTer 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 functions in partial four-valued logic.

关 键 词：多值逻辑 SHEFFER函数 准完备集 最小覆盖 

分 类 号：TP301[自动化与计算机技术—计算机系统结构]