This consistently written book provides a comprehensive presentation of a multitude of results stemming from the author's as well as various researchers' work in the field. It also covers functional decomposition for incompletely specified functions, decomposition for multi-output functions and non-disjoint decomposition.

Preface. Acknowledgements. Introduction. 1. Realizations of Boolean Functions. 2. Minimization of BDDS. 3. Functional Decomposition for Completely Specified Single-Output Functions. 4. Functional Decomposition for Completely Specified Multi-Output Functions. 5. Functional Decomposition for Incompletely Specified Functions. 6. Non-Disjoint Decompositions. 7. Large Circuits. Appendices. Index.