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