部分四值逻辑中完满对称函数集的分类及最小覆盖成员的判定

计算机科学 ›› 2010, Vol. 37 ›› Issue (11): 257-260.

部分四值逻辑中完满对称函数集的分类及最小覆盖成员的判定

刘任任,王婷,谭昊勋

(湘潭大学信息工程学院湘潭411105);(湘潭大学能源工程学院湘潭411105)

出版日期:2018-12-01 发布日期:2018-12-01
基金资助:
本文受国家基金项目“部分多值逻辑函数结构理论研究”(60673193),湖南省教育厅基金项目“部分多值逻辑中准完各集的分类研究”(10C768)资助。

Classification on Full Symmetric Function Sets and Decision on the Minimal Covering Members in Partial Four-valued Logic

LIU Ren-ren,WANG Ting,TAN Hao-xun

Online:2018-12-01 Published:2018-12-01

摘要/Abstract

摘要： 根据部分K值逻辑的完备性理论和相似关系概念，对完满对称函数集进行了相似关系分类，并确定了其中的准完备集之最小覆盖成员。

关键词: 多值逻辑，Sheffer函数，最小覆盖

Abstract: According to the completeness theory and concept of similar relationship in partial k-valued logic,the full symmetric function sets were classified by means of similarity relationship and some sets were proved minimal covering component of precomplete classes.

Key words: Multiple-valued logic, Sheffer function, Minimal covering

刘任任,王婷,谭昊勋. 部分四值逻辑中完满对称函数集的分类及最小覆盖成员的判定[J]. 计算机科学, 2010, 37(11): 257-260. https://doi.org/

LIU Ren-ren,WANG Ting,TAN Hao-xun. Classification on Full Symmetric Function Sets and Decision on the Minimal Covering Members in Partial Four-valued Logic[J]. Computer Science, 2010, 37(11): 257-260. https://doi.org/