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

• 作者: 厉晓华 肖林荣 陈偕雄
• 来源期刊: 浙江大学学报(理学版)
• 学科: 工学
• 关键词: 布尔减 布尔除 布尔减-异或代数系统 布尔除-符合代数系统 规范展开式
• 年，卷（期）: 2004,（4）
• 所属期刊栏目: 电子科学
• 页码范围: 397-399,403
• 页数: 4页
• 分类号: TP331
• 字数: 3624字
• 语种: 中文
• DOI: 10.3321/j.issn:1008-9497.2004.04.010

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	陈偕雄	浙江大学信息与电子工程系	139	691	12.0	17.0
2	厉晓华	浙江大学信息与电子工程系	39	110	6.0	9.0
3	肖林荣	浙江大学信息与电子工程系	32	150	6.0	11.0