This book describes representations of Boolean functions that have small size for many important functions and which allow efficient work with the represented functions.