Boolean Functions

Provides the first comprehensive, unified presentation of the structural, algorithmic and applied aspects of the theory of Boolean functions.

Part I. Foundations: 1. Fundamental concepts and applications; 2. Boolean equations; 3. Prime implicants and minimal DNFs Peter L. Hammer and Alexander Kogan; 4. Duality theory Yves Crama and Kazuhisa Makino; Part II. Special Classes: 5. Quadratic functions Bruno Simeone; 6. Horn functions Endre Boros; 7. Orthogonal forms and shellability; 8. Regular functions; 9. Threshold functions; 10. Read-once functions Martin C. Golumbic and Vladimir Gurvich; 11. Characterizations of special classes by functional equations Lisa Hellerstein; Part III. Generalizations: 12. Partially defined Boolean functions Toshihide Ibaraki; 13. Pseudo-Boolean functions; Appendix A. Graphs and hypergraphs; Appendix B. Algorithmic complexity; Appendix C. JBool: a software tool Claude Benzaken and Nadia Brauner.