| 逻辑函数在布尔减-异或、布尔除-符合代数系统中的规范展开式 |
| |
| 引用本文： | 肖林荣,陈偕雄,厉晓华. 逻辑函数在布尔减-异或、布尔除-符合代数系统中的规范展开式[J]. 浙江大学学报(理学版), 2004, 31(4): 397-400 |
| |
| 作者姓名： | 肖林荣 陈偕雄 厉晓华 |
| |
| 作者单位： | 1. 浙江大学,信息与电子工程系,浙江,杭州,310028;嘉兴学院,电气工程系,浙江,嘉兴,314001
2. 浙江大学,信息与电子工程系,浙江,杭州,310028 |
| |
| 摘 要： | 证明了布尔减、异或运算以及布尔除、符合运算的完备性,并从与-异或及或-符合代数系统中的RM、CRM展开式出发,分别推导了任意逻辑函数在布尔减-异或及布尔除-符合代数系统中的规范展开式.举例说明了与-或-非代数系统中规范展开式与布尔减-异或、布尔除-符合代数系统中的规范展开式之间的转换.
|
| 关 键 词： | 布尔减 布尔除 布尔减-异或代数系统 布尔除-符合代数系统 规范展开式 |
| 文章编号： | 1008-9497(2004)04-397-03 |
| 修稿时间： | 2003-11-12 |
Standard expansions of a logic function in Boolean Subtraction-Xor,Division-Coincidence algebraic system |
| |
| XIAO Lin-rong. Standard expansions of a logic function in Boolean Subtraction-Xor,Division-Coincidence algebraic system[J]. Journal of Zhejiang University(Sciences Edition), 2004, 31(4): 397-400 |
| |
| Authors: | XIAO Lin-rong |
| |
| Affiliation: | XIAO Lin-rong~ |
| |
| 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. |
| |
| Keywords: | Boolean Subtraction Boolean Division Boolean Subtraction-Xor algebraic system Boolean Division-Coincidence algebraic system standard expansion |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《浙江大学学报(理学版)》浏览原始摘要信息 |
|
点击此处可从《浙江大学学报(理学版)》下载免费的PDF全文 |
|
