基于d_j图检测特殊布尔函数的图形方法  

Graphic method of detecting special Boolean function based on dj-map

作　　者：练益群[1] 

机构地区：[1]浙江传媒学院信息系,浙江杭州310018

出　　处：《浙江大学学报（理学版）》2007年第4期414-417,共4页Journal of Zhejiang University（Science Edition）

摘　　要：阐述了线性函数、冗余函数、自反函数和自双反函数的定义和有关性质，提出了用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.

关 键 词：DJ图 特殊函数 布尔函数 线性函数 冗余函数 自反函数 自双反函数 

分 类 号：TN431.2[电子电信—微电子学与固体电子学]