计算布尔函数 c-导数、c-偏导数的代数方法及其在检测特殊布尔函数中的应用

摘要

The algebraic methods calculating c‐derivative and c‐partial derivative are presented .The methods for detecting redundant function based on c‐partial derivative , detecting linear function based on c‐derivative and detecting self‐negative and self‐dual function based on high‐order c‐derivative are given .In comparison with the graphic method ,this method has several advantages such as no limitation of variable number ,simplicity and so on .%提出了c‐偏导数的定义和计算c‐导数及c‐偏导数的代数方法，给出了基于c‐偏导数检测冗余函数、基于c‐导数检测线性函数、基于高阶c‐导数检测自反函数和自双反函数的方法。与图形方法相比，代数方法具有不受变量限制、简单方便等优点。