首页> 中文期刊> 《计算技术与自动化》 >部分四值逻辑中保三元正则可离关系函数集最小覆盖的确定

部分四值逻辑中保三元正则可离关系函数集最小覆盖的确定

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

Sheffer函数的判定与构造是多值逻辑函数结构理论中的重要问题之一,此问题可归结为定出多值逻辑函数集之准完备集的最小覆盖.本文根据部分K值逻辑的完备性理论以及准完备集之间的相似关系理论,定出部分四值逻辑中保三元正则可离关系的准完备集之最小覆盖的成员.

著录项

来源
《计算技术与自动化》 |2007年第1期|59-62|共4页
作者
周小强; 刘任任;
展开▼
作者单位

湘潭大学;

信息工程学院;

湖南;

湘潭;

411105;

湖南理工学院;

数学系;

湖南;

岳阳;

414006;

湘潭大学;

信息工程学院;

湖南;

湘潭;

411105;

展开▼
原文格式 PDF
正文语种 chi
中图分类理论、方法;
关键词
多值逻辑; 完备性; Sheffer函数; 最小覆盖;

相似文献

中文文献
外文文献
专利

1. 部分四值逻辑中保三元单纯可离关系函数集最小覆盖之确定 [J] . 顾思思 ,刘任任 . 湘潭大学自然科学学报 . 2007,第001期
2. 部分四值逻辑中保二元正则可离关系最小覆盖之确定 [J] . 龚志伟 ,刘任任 ,王日中 . 计算技术与自动化 . 2007,第004期
3. P4*中保三元正则可离关系函数集非最小覆盖成员的确定 [J] . 周小强 . 湖南理工学院学报（自然科学版） . 2007,第004期
4. 部分四值逻辑中保二元正则可离关系非最小覆盖的剔除 [J] . 龚志伟 ,刘任任 . 计算技术与自动化 . 2011,第003期
5. 关于部分四值逻辑中保2元正则可离关系的分类 [J] . 龚志伟 ,刘任任 . 计算技术与自动化 . 2006,第003期
6. 关于部分四值逻辑中3元正则可离关系的分类 [C] . 龚志伟 ,刘任任 . 2006年全国理论计算机科学学术年会 . 2006
7. 部分四值逻辑中保三、四元正则可离关系函数集最小覆盖之判定 [A] . 周小强 . 2007

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号