线性函数的性质及其应用线性函数的性质及其应用

给出了线性函数、部分线性函数和线性变量的定义,提出了它们的性质.根据上述定义,利用布尔代数中的基本定理和公式以及自双反函数和对称函数的定义对这些性质给出了证明.最后讨论了它们在逻辑综合以及计算逻辑函数的布尔差分中的应用.

Properties of linear function and its application

The corresponding symbols, the definitions of linear function, partial linear function and linear variable are given and their corresponding properties are presented, which are proved by the use of the definitions above, the definitions of self-dual function and symmetric function, the theorems and formulas in Boolean algebra. The feature of the linear in the K-map is given. Finally, their applications in the logic synthesis based on the partial linear function and calculating Boolean difference of logical functions are discussed.