逻辑函数在布尔减、布尔除、非代数系统中的规范展开式

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

逻辑函数在布尔减-异或、布尔除-符合代数系统中的规范展开式

证明了布尔减、异或运算以及布尔除、符合运算的完备性,并从与-异或及或-符合代数系统中的RM、CRM展开式出发,分别推导了任意逻辑函数在布尔减-异或及布尔除-符合代数系统中的规范展开式.举例说明了与-或-非代数系统中规范展开式与布尔减-异或、布尔除-符合代数系统中的规范展开式之间的转换.

逻辑函数的规范XOS和COD展开式

从香农展开定理出发,推导了任意逻辑函数在布尔减-异或及布尔除-符合代数系统中的规范减之异或和除之符合展开式,并给出了相应的图形表示.