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

Decision and Construction of the Sheffer Functions in Partial Four-Valued Logic

作　　者：刘任任[1] 

机构地区：[1]湘潭大学信息工程学院,湖南湘潭411105

出　　处：《计算机工程与科学》2008年第11期75-76,共2页Computer Engineering & Science

基　　金：国家自然科学基金资助项目(60673193);湖南省教育厅重点项目(07A067)

摘　　要：根据部分K值逻辑的完备性理论和相似关系概念,利用部分多值逻辑函数集中准完备集之最小覆盖成员的判定构造了部分四值逻辑函数集P4*中的Sheffer函数。According to the completeness theory and the concept of similarity relationships in the partial k -valued logic, some Sheffer functions in P4^＊ is constructed by means of decision for the minimal covering component of precomplete classes.

关 键 词：多值逻辑 Sheller函数 最小覆盖 

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