检测线性函数与线性变量的表格方法  

Tabular method of detecting linear function and linear variable.

作　　者：练益群[1] 刘观生[2] 陈偕雄[2] 

机构地区：[1]浙江传媒学院信息电子工程系,浙江杭州310018 [2]浙江大学信息与电子工程系,浙江杭州310028

出　　处：《浙江大学学报（理学版）》2006年第3期295-299,共5页Journal of Zhejiang University（Science Edition）

摘　　要：讨论了线性函数、部分线性函数和线性变量的定义、性质和定理,提出了检测基于最小项展开的逻辑函数的线性变量与线性函数的表格方法.提出了直接从RM型逻辑函数的Reed-Muller展开出发以及直接从OC型OC展开出发检测RM型逻辑函数和OC型逻辑函数的线性变量及线性函数的表格方法.文中提出的表格方法具有简单、方便和易于计算机编程操作等优点.The definitions, properties and theorems of linear function, partial linear function, and linear variable were discussed. A tabular method testing the linear variables in the logic function based on the minterm expansion and the linear function was proposed. According to the Reed Muller expansion and OC expansion, two tabular methods of directly testing the linear variables in the RM type and OC type logic function and the linear function were also presented. These tabular methods proposed in the paper have several advantages such as simplicity, con venience, and suiting to programming on computers.

关 键 词：线性函数 线性变量 逻辑函数 表格方法 

分 类 号：TN431.2[电子电信—微电子学与固体电子学]