Especial Function In Modern Digital Theory

Firstly, based on partial symmetric function, total symmetric function, basic symmetric function, simple symmetric function and basic RM symmetric function in OR-Coincidence algebra, the detection of symmetric function with partial negated variables based on tabular method is proposed. Based upon this method, the detection of partial symmetric function with partial negated variables based on tabular method is discussed. Because the expressions of boolean function with ordered binary decision diagram (OBDD) is provided with compact and easy to operate, we alse make a detailed research of the detection of symmetric functions with OBDD.Then, it introduces the definitions and properties of threshold function, proposes tabular design based on three variable universal-threshold-logic gates, tabular design with negated output based on three variable universal-threshold-logic gates and computer aided synthesis of three variable logical functions.In addition, we discuss self-dual function, based upon the definitions of self-dualfunction, the properties, the coefficients of bj and spectral, the detection of self-dual function are researched.