关于部分K值逻辑Sheffer函数(Ⅱ)

摘要：

本文证明m=2时,P<,K><”*>中的正则可离函数类中满足一定条件的正则可离函数集可以被最小覆盖加的某些准完备集之并所覆盖,即此类正则可离函数集在P<,K><”*>中准完备集之最小覆盖中必不出现.

关键词： 多值逻辑函数 Sheffer函数

作者: 刘任任

作者单位: 湘潭大学信息工程学院(湘潭)

会议类型: 国内会议

会议名称: 2001年全国理论计算机科学学术会议

会议地点: 福州

会议语种:中文

页码: 206-207,188

在线出版日期: 2001-09-01（万方平台首次上网日期，不代表论文的发表时间）