In this thesis we present theoretical and practical work on the optimization of Boolean functions in chip design. On a chip, complex Boolean functions are built from basic building blocks computing for example an AND. For ......