线性函数和部分线性函数的图形检测方法 (2007年)

线性函数是布尔代数中常用的特殊函数之一，本文根据线性函数、部分线性函数的定义与性质，提出了检测线性函数与部分线性函数六个定理。在此基础上，给出了基于K图与6，图的线性函数与部分线性函数的图形检测方法，并举例说明具体检测过程。