Title :
Disjoint decomposition of Boolean functions
Author_Institution :
Dept. of Comput. Sci., Dortmund Univ., West Germany
fDate :
1/1/1991 12:00:00 AM
Abstract :
The minimisation of Boolean functions is a classical problem. The paper deals with the set of functions which satisfy the equation f(X)=h(g(X1),X2) where the variable set X is given by the disjoint union of any sets X1 and X2. The author presents an efficient method in the Boolean domain which is based on the theory of Boolean differential calculus and the spectral development using the Walsh transform.
Keywords :
Boolean functions; Boolean differential calculus; Boolean functions; Walsh transform; disjoint decomposition; disjoint union; minimisation; spectral development; variable set;
Journal_Title :
Computers and Digital Techniques, IEE Proceedings E