摘要
阐述了线性函数、冗余函数、自反函数和自双反函数的定义和有关性质,提出了用dj图检测线性函数和冗余函数的方法.给出了求∫(x1~xn)的图形方法,并在此基础上提出了基于dj图检测自反函数与自双反函数的图形方法.此外,还讨论了求∫(x1~xn)的dj图的改进的图形方法.
The definitions and properties of linear function, reduntant function, self-negative function, anti sell-dual function were introduced. The graphic method detecting linear function and reduntant function was proposed. A graphic method of deriving the di-map of ∫(x1~xn) was given, Based on it, a graphic method detecting self-nega- tive function and self-dual function was presented. Besides, an improved graphic method finding the di-map of ∫(x1~xn), was also discussed.
出处
《浙江大学学报(理学版)》
CAS
CSCD
北大核心
2007年第4期414-417,共4页
Journal of Zhejiang University(Science Edition)
关键词
DJ图
特殊函数
布尔函数
线性函数
冗余函数
自反函数
自双反函数
dj-map
special function
Boolean function
linear function
reduntant function
self-negative function
self-dual function