逻辑函数在布尔减-除-非代数系统中的标准DOS和SOD展开式

摘要：

本文首先证明了布尔减、布尔除与非运算构成完备集,并根据布尔减、布尔除与非运算的运算规则和性质,从与或非代数系统中的最小项、最大项展开式出发,推导了任意逻辑函数在减除非代数系统中的标准DOS(减之除)和标准SOD(除之减)展开式.最后举例说明了二个代数系统中展开式之间的转换.本文的工作对进一步完善布尔代数的四则运算理论具有一定的意义.

关键词：布尔减、布尔除、减除非代数系统、标准DOS展开式、标准SOP展开式

所属期刊栏目：21

分类号：TP331(计算技术、计算机技术)

在线出版日期：2005-06-09（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：351-355