Graphic method of detecting special Boolean function based on dj-map(基于dj图检测特殊布尔函数的图形方法)

Abstract

阐述了线性函数、冗余函数、自反函数和自双反函数的定义和有关性质，提出了用dj图检测线性函数和冗余函数的方法.给出了求的图形方法，并在此基础上提出了基于dj图检测自反函数与自双反函数的图形方法.此外，还讨论了求的dj图的改进的图形方法.

Keywords

• dj图
• 特殊函数
• 布尔函数
• 线性函数
• 冗余函数
• 自反函数
• 自双反函数