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

Tabular method of detecting linear function and linear variable.

讨论了线性函数、部分线性函数和线性变量的定义、性质和定理,提出了检测基于最小项展开的逻辑函数的线性变量与线性函数的表格方法.提出了直接从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.