Algebraic method for calculating c-derivative, c-partial derivative and its application in detecting special boolean function(计算布尔函数c-导数、c-偏导数的代数方法及其在检测特殊布尔函数中的应用)

Abstract

提出了c-偏导数的定义和计算c-导数及c-偏导数的代数方法，给出了基于c-偏导数检测冗余函数、基于c-导数检测线性函数、基于高阶c-导数检测自反函数和自双反函数的方法.与图形方法相比，代数方法具有不受变量限制、简单方便等优点.

Keywords

• c-导数
• c-偏导数
• 冗余函数
• 线性函数
• 自反函数
• 自双反函数