期刊导航
期刊开放获取
河南省图书馆
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
2
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
逻辑函数在布尔减-除-非代数系统中的标准DOS和SOD展开式
1
作者
肖林荣
陈偕雄
《科技通报》
2005年第3期351-355,共5页
本文首先证明了布尔减、布尔除与非运算构成完备集,并根据布尔减、布尔除与非运算的运算规则和性质,从与或非代数系统中的最小项、最大项展开式出发,推导了任意逻辑函数在减除非代数系统中的标准DOS(减之除)和标准SOD(除之减)展开式。...
本文首先证明了布尔减、布尔除与非运算构成完备集,并根据布尔减、布尔除与非运算的运算规则和性质,从与或非代数系统中的最小项、最大项展开式出发,推导了任意逻辑函数在减除非代数系统中的标准DOS(减之除)和标准SOD(除之减)展开式。最后举例说明了二个代数系统中展开式之间的转换。本文的工作对进一步完善布尔代数的四则运算理论具有一定的意义。
展开更多
关键词
布尔减
布尔除
减除非代数系统
标准dos展开式
标准
SOP
展开式
下载PDF
职称材料
逻辑函数在布尔减-除-非代数系统中的标准展开式及其化简
2
作者
肖林荣
潘伟珍
陈偕雄
《浙江大学学报(理学版)》
CAS
CSCD
北大核心
2006年第5期544-547,共4页
布尔减、布尔除与非运算构成完备集.从与-或-非代数系统中的最小项、最大项展开式出发,推导了任意逻辑函数在减-除-非代数系统中的标准DOS(减之除)和标准SOD(除之减)展开式.在此基础上给出了DOS和SOD逻辑函数的代数化简法和图形化简法,...
布尔减、布尔除与非运算构成完备集.从与-或-非代数系统中的最小项、最大项展开式出发,推导了任意逻辑函数在减-除-非代数系统中的标准DOS(减之除)和标准SOD(除之减)展开式.在此基础上给出了DOS和SOD逻辑函数的代数化简法和图形化简法,给出的化简实例验证了上述化简方法的有效性.
展开更多
关键词
减-除-非代数系统
标准dos展开式
标准
SOD
展开式
代数化简法
图形化简法
下载PDF
职称材料
题名
逻辑函数在布尔减-除-非代数系统中的标准DOS和SOD展开式
1
作者
肖林荣
陈偕雄
机构
浙江大学信息与电子工程系
出处
《科技通报》
2005年第3期351-355,共5页
文摘
本文首先证明了布尔减、布尔除与非运算构成完备集,并根据布尔减、布尔除与非运算的运算规则和性质,从与或非代数系统中的最小项、最大项展开式出发,推导了任意逻辑函数在减除非代数系统中的标准DOS(减之除)和标准SOD(除之减)展开式。最后举例说明了二个代数系统中展开式之间的转换。本文的工作对进一步完善布尔代数的四则运算理论具有一定的意义。
关键词
布尔减
布尔除
减除非代数系统
标准dos展开式
标准
SOP
展开式
Keywords
Boolean SUBTRACTION
Boolean DIVISION
SUBTRACTION-DIVISION-NOT algebraic system
standard
dos
expansion
standard SOD expansion
分类号
TP331 [自动化与计算机技术—计算机系统结构]
下载PDF
职称材料
题名
逻辑函数在布尔减-除-非代数系统中的标准展开式及其化简
2
作者
肖林荣
潘伟珍
陈偕雄
机构
浙江大学信息与电子工程学系
绍兴文理学院数理信息学院
出处
《浙江大学学报(理学版)》
CAS
CSCD
北大核心
2006年第5期544-547,共4页
基金
浙江省自然科学基金资助项目(Y105124)
嘉兴学院科研重点课题(70106007)
文摘
布尔减、布尔除与非运算构成完备集.从与-或-非代数系统中的最小项、最大项展开式出发,推导了任意逻辑函数在减-除-非代数系统中的标准DOS(减之除)和标准SOD(除之减)展开式.在此基础上给出了DOS和SOD逻辑函数的代数化简法和图形化简法,给出的化简实例验证了上述化简方法的有效性.
关键词
减-除-非代数系统
标准dos展开式
标准
SOD
展开式
代数化简法
图形化简法
Keywords
SUBTRACTION-DIVISION-NOT algebraic system
standard
dos
expansion
standard SOD expansion
method of algebraic minimization
method of graphic minimization
分类号
TP331 [自动化与计算机技术—计算机系统结构]
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
逻辑函数在布尔减-除-非代数系统中的标准DOS和SOD展开式
肖林荣
陈偕雄
《科技通报》
2005
0
下载PDF
职称材料
2
逻辑函数在布尔减-除-非代数系统中的标准展开式及其化简
肖林荣
潘伟珍
陈偕雄
《浙江大学学报(理学版)》
CAS
CSCD
北大核心
2006
0
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部