版权所有:内蒙古大学图书馆 技术提供:维普资讯• 智图
内蒙古自治区呼和浩特市赛罕区大学西街235号 邮编: 010021
作者机构:浙江大学信息与电子工程学系 绍兴文理学院数理信息学院浙江绍兴312000
出 版 物:《浙江大学学报(理学版)》 (Journal of Zhejiang University(Science Edition))
年 卷 期:2006年第33卷第5期
页 面:544-547页
核心收录:
学科分类:08[工学] 081201[工学-计算机系统结构] 0812[工学-计算机科学与技术(可授工学、理学学位)]
基 金:浙江省自然科学基金资助项目(Y105124) 嘉兴学院科研重点课题(70106007)
主 题:减-除-非代数系统 标准DOS展开式 标准SOD展开式 代数化简法 图形化简法
摘 要:布尔减、布尔除与非运算构成完备集.从与-或-非代数系统中的最小项、最大项展开式出发,推导了任意逻辑函数在减-除-非代数系统中的标准DOS(减之除)和标准SOD(除之减)展开式.在此基础上给出了DOS和SOD逻辑函数的代数化简法和图形化简法,给出的化简实例验证了上述化简方法的有效性.