P4^＊中保三元正则可离关系函数集非最小覆盖成员的确定.pdfVIP

维普资讯 第2O卷 第 4期 湖南理工学院学报 (自然科学版) 、，01．20N0．4 2007年 l2月 JournalofHunanInstituteofScienceandTechnology(NaturalSciences Dec2OO7 中保三元正则可离关系函数集 非最小覆盖成员的确定 周小强 (湖南理工学院 数学系，湖南 岳阳 414006) 摘 要：根据部分K值逻辑的完备性理论 【1以及准完备集之间的相似关系理论2【1，定出了必不属于部分四值逻辑中保 三元正则可离关系函数集之最小覆盖的成员． 关键词： 多值逻辑；完备性；Sheffer函数；最小覆盖 中图分类号：TP301 文献标识码：A 文章编号：1672．5298(2007)04-0016．03 Thedecisiononnotbelongingtotheminimalcovering — n 一 ‘ ● 一 一 membersoIIllnctionsetsPreservingternaryregularly sepoaarraablleerreella：ttlioonnssi。npoaarrttiiaal’Fo0unrr--VVaaluedL002gliCc ZHOUXiao-qiang (DepartmentofMathematics，HunanInstituteofScienceandTechnology,Yueyang414006，China) Abstract：According to thecompletenesstheory in partialk-valued logic and the similarrelationship theory among precompletesets，notbelongingtotheminimalcoveringmembersoffunctionsetspreservingternaryregularlyseparablerelations inpartialfour·valuedlogicaredecided． Keywords：multi-valuedlogic；completeness；shefferfunctions；minimalcovering 多值逻辑是计算机科学中的一个重要分支．随着计算机科学与技术的不断进步，多值逻辑得到了前 所未有的发展，其研究主要包括理论、电路与系统、应用三个方面的内容．在多值逻辑函数结构理论中， Sheffer函数的判定与构造是一个非常重要的研究课题，它的解决可归结为定出所有的准完备集之最小覆 盖．完全多值逻辑函数中Sheffer函数的判定已由 Schofield和 Kudrjavcev等完全解决 】【，2】，但部分多值 逻辑函数中Sheffer函数的判定尚未彻底解决3【】．本文根据准完备集之问的相似关系理论4【j，定出了必不 属于部分四值逻辑中保三元正则可离关系函数集最小覆盖的成员． 1基本定义 设 ：{0，l，…，K一1}，K2， 上的完全和非完全 值逻辑函数统称为部分多值逻辑函数，所有部分 值逻辑函数作成的集合记为 ． 函数f(xl，…，)( )说是一个Sheffer函数，如果厂能叠合出 中的所有函数． 令∑={4l4(c )是准完备集，i=1，…，}，且∑c∑，定义Sz．={厂∈ l存在 ：∈∑使碍f∈：，1J )， ， 即 ．表示 中所有属于∑中某个准完备集的函数之