节点文献

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

Standard expansions of a logic function in Boolean Subtraction-Xor,Division-Coincidence algebraic system.

  • 推荐 CAJ下载
  • PDF下载
  • 不支持迅雷等下载工具，请取消加速工具后下载。

【作者】 肖林荣； 陈偕雄； 厉晓华；

【Author】 XIAO Lin-rong~(1,2), CHEN Xie-xiong~1, LI Xiao-hua~1(1. Department of Information and Electronic Engineering, Zhejiang University, Hangzhou 310028,China; 2. Department of Electrical Engineering, Jiaxing College, Jiaxing 314001, China)

【机构】 浙江大学信息与电子工程系； 浙江大学信息与电子工程系 浙江杭州310028嘉兴学院电气工程系浙江嘉兴314001； 浙江杭州310028； 浙江杭州310028；

【摘要】 证明了布尔减、异或运算以及布尔除、符合运算的完备性,并从与-异或及或-符合代数系统中的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.

【关键词】 布尔减； 布尔除； 布尔减-异或代数系统； 布尔除-符合代数系统； 规范展开式；
【Key words】 Boolean Subtraction； Boolean Division； Boolean Subtraction-Xor algebraic system； Boolean Division-Coincidence algebraic system； standard expansion；
  • 【文献出处】 浙江大学学报(理学版) ,Journal of Zhejiang University(Sciences Edition) , 编辑部邮箱 ,2004年04期
  • 【分类号】TP301
  • 【被引频次】3
  • 【下载频次】63
知网节下载
节点文献中： 

本文链接的文献网络图示:

本文的引文网络
二级参考文献(0)
参考文献(0)
共引文献(0)
节点文献
同被引文献(0)
引证文献(0)
二级引证文献(0)