首页> 中文期刊> 《计算机应用研究》 >P*4中保四元正则可离关系非最小覆盖的剔除

P*4中保四元正则可离关系非最小覆盖的剔除

开具论文收录证明 >>

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

文献代查 >>

页面导航

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

摘要

为确定部分四值逻辑的最小覆盖,根据部分K值逻辑的完备性理论、正则可离关系以及准完备集之间的相似关系理论, 对部分四值逻辑的最小覆盖进行分析,证明了109个保四元正则可离关系函数集中的67个函数集必不属于部分四值逻辑中最小覆盖的成员.

著录项

来源
《计算机应用研究》 |2009年第6期|2090-20912094|共3页
作者
周小强; 刘任任;
展开▼
作者单位

湖南理工学院;

数学系;

湖南;

岳阳;

414006;

湘潭大学;

信息工程学院;

湖南;

湘潭;

411105;

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

相似文献

中文文献
外文文献
专利

1. 部分四值逻辑中保二元正则可离关系非最小覆盖的剔除 [J] . 龚志伟 ,刘任任 . 计算技术与自动化 . 2011,第003期
2. P4^＊中保二元正则可离关系非最小覆盖的剔除 [J] . 周小强 ,刘任任 . 山东大学学报：理学版 . 2008,第12期
3. P4*中保四元正则可离关系最小覆盖之确定 [J] . 周小强 ,刘任任 . 计算机科学 . 2009,第009期
4. P4*中保三元正则可离关系函数集非最小覆盖成员的确定 [J] . 周小强 . 湖南理工学院学报（自然科学版） . 2007,第004期
5. 部分四值逻辑中保三元正则可离关系函数集最小覆盖的确定 [J] . 周小强 ,刘任任 . 计算技术与自动化 . 2007,第001期
6. 非规则可展张拉整体单元:从找形到实现 [C] . 赵曦蕾 ,孙宇迪 ,李兴华 . 第二届全国高校土木工程专业大学生论坛 . 2012
7. 部分四值逻辑中保三、四元正则可离关系函数集最小覆盖之判定 [A] . 周小强 . 2007

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

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

客服微信
服务号