Keywords :
Complete sets of functions, universal logic modules, universal logic primitives.; Contracts; Equations; Logic design; Logic functions; Minimization; Upper bound; Complete sets of functions, universal logic modules, universal logic primitives.;