首页> 中文期刊>中国科技信息 >基于蕴涵法的求解多变量逻辑函数本原蕴涵项的程序流程

基于蕴涵法的求解多变量逻辑函数本原蕴涵项的程序流程

开具论文收录证明 >>

页面导航

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

摘要

基于逻辑函数蕴涵化简法的基本理论,构造比较合并数组,设计求解多变量逻辑函数本原蕴涵项的结构化程序流程,使逻辑函数的化简工作在降低了复杂度的同时提高了可靠性.

著录项

来源
《中国科技信息》|2010年第24期|43-4448|共3页
作者
王波;
展开▼
作者单位

徐州师范大学计算机科学与技术学院,221116;

展开▼
原文格式 PDF
正文语种 chi
中图分类
关键词
蕴涵化简法; 本原蕴涵项; 逻辑相邻项; 结构化流程;
入库时间 2024-03-13 16:32:38

相似文献

中文文献
外文文献
专利

1. 蕴涵项扩展技术在多输出逻辑函数中的应用 [J] . 王波 . 南通大学学报（自然科学版） . 2002,第002期
2. 论实质蕴涵、形式蕴涵与逻辑蕴涵 [J] . 柯华庆 ,梁庆寅 . 中山大学学报：社会科学版 . 2003,第0S1期
3. 论实质蕴涵、形式蕴涵与逻辑蕴涵 [J] . 柯华庆 ,梁庆寅 . 学术研究 . 2002,第006期
4. 格蕴涵代数及基于格蕴涵代数的格值逻辑系统的研究 [J] . 徐扬 . 邯郸学院学报 . 1999,第003期
5. 关于三值逻辑程序中否定和蕴涵完备化程序的不动点语义 [J] . 刘富春 . 计算机科学 . 2006,第004期
6. 基于Lukasiewicz蕴涵代数的模糊命题逻辑的语法理论 [C] . . 第六届中国不确定系统年会 . 2008
7. 从蕴涵怪论到日常蕴涵逻辑系统的探索——兼及“若,则”句研究 [A] . 张绍友 . 2011

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

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

客服微信
服务号