Featuring examples, problems, and computer experiments, this title provides a treatment of the fundamental theory of logic functions and applications in the design of digital devices and systems. It presents the contemporary logic network design techniques based on decision diagrams. It covers both traditional and advanced topics of logic design.