摘要
证明了布尔减、异或运算以及布尔除、符合运算的完备性,并从与-异或及或-符合代数系统中的RM、CRM展开式出发,分别推导了任意逻辑函数在布尔减-异或及布尔除-符合代数系统中的规范展开式.举例说明了与-或-非代数系统中规范展开式与布尔减-异或、布尔除-符合代数系统中的规范展开式之间的转换.
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.
出处
《浙江大学学报（理学版）》
CAS
CSCD
2004年第4期397-399,403,共4页
Journal of Zhejiang University（Science Edition）
关键词
布尔减
布尔除
布尔减-异或代数系统
布尔除-符合代数系统
规范展开式
Boolean Subtraction
Boolean Division
Boolean Subtraction-Xor algebraic system
Boolean Division-Coincidence algebraic system
standard expansion
