Examination redundant function or self-negative function based on the graph method

• 基于图形方法的冗余函数与自反函数检测