Detection of redundant function, self-negative function and self-dual function based on tabular method

• 基于表格方法的冗余函数、自反函数及自双反函数的检测