节点文献
逻辑函数在布尔减-异或、布尔除-符合代数系统中的规范展开式
Standard expansions of a logic function in Boolean Subtraction-Xor,Division-Coincidence algebraic system.
【摘要】 证明了布尔减、异或运算以及布尔除、符合运算的完备性,并从与-异或及或-符合代数系统中的RM、CRM展开式出发,分别推导了任意逻辑函数在布尔减-异或及布尔除-符合代数系统中的规范展开式.举例说明了与-或-非代数系统中规范展开式与布尔减-异或、布尔除-符合代数系统中的规范展开式之间的转换.
【Abstract】 In this paper it is proved that Boolean Subtraction-Xor, Division-Coincidence operations make up complete sets.The standard expansions of an arbitrary logic function in these complete sets from the RM, CRM are deduced, and two examples are proposed to discuss the relation between the expansions in Boolean Subtraction-Xor, Division-Coincidence algebraic systems and the expansions in AND-OR-NOT algebraic system.
- 【文献出处】 浙江大学学报(理学版) ,Journal of Zhejiang University(Sciences Edition) , 编辑部邮箱 ,2004年04期
- 【分类号】TP301
- 【被引频次】3
- 【下载频次】63