论文部分内容阅读
证明了布尔减与非运算、布尔除与非运算均构成完备集，并根据布尔除、布尔减的运算规则和性质，从最小项、最大项展开式出发，推导了任意逻辑函数在这两个完备集中的规范展开式。得到的展开式形式简单，容易记忆，与函数在与、或、非代数系统中的规范展开式之间的转换非常便捷。本文的工作对进一步完善布尔代数的四则运算理论具有一定的意义。