逻辑函数在布尔减-除-非代数系统中的标准展开式及其化简  

Standard expansions and its minimization of an logic function in Boolean SUBTRACTION-DIVISION-NOT algebraic system.

作　　者：肖林荣[1] 潘伟珍[2] 陈偕雄[1] 

机构地区：[1]浙江大学信息与电子工程学系 [2]绍兴文理学院数理信息学院,浙江绍兴312000

出　　处：《浙江大学学报（理学版）》2006年第5期544-547,共4页Journal of Zhejiang University（Science Edition）

基　　金：浙江省自然科学基金资助项目(Y105124);嘉兴学院科研重点课题(70106007)

摘　　要：布尔减、布尔除与非运算构成完备集.从与-或-非代数系统中的最小项、最大项展开式出发,推导了任意逻辑函数在减-除-非代数系统中的标准DOS(减之除)和标准SOD(除之减)展开式.在此基础上给出了DOS和SOD逻辑函数的代数化简法和图形化简法,给出的化简实例验证了上述化简方法的有效性.Boolean SUBTRACTION, DIVISION and NOT operations make up a complete set. According to the operation regulations of Boolean SUBTRACTION, DIVISION and NOT, the standard DOS and SOD expansions of an arbitrary logic function in these complete sets were deduced from the minterm expansion and maxterm expansion in AND-OR-NOT algebraic system, Based on the standard expansions and operation regulations, the methods of algebraic and graphic minimization about SUBTRACTION-DIVISION-NOT logic functions were given, and several simplification examples were presented. These practical examples proved the effectiveness of the above simplification methods.

关 键 词：减-除-非代数系统 标准DOS展开式 标准SOD展开式 代数化简法 图形化简法 

分 类 号：TP331[自动化与计算机技术—计算机系统结构]