Begins with a survey of the use of multiple-valued logic in several application areas including electronic design automation algorithms and circuit design. This book provides the mathematical basis and concepts of various algebras and systems of multiple valued logic, including comparisons among various systems and examples of their application.