The expanded and updated 2 nd edition of this classic text offers the reader a comprehensive introduction to the concepts of logic functions and equations and their applications across computer science. The approach emphasizes a thorough understanding of the fundamental principles as well as numerical and computer-based solution methods. Updated throughout, some major additions for the 2 nd edition include: - an expanded introductory section on logic equations; - a new chapter on sets, lattices, and classes of logic functions; - a new chapter about SAT-problems; - a new chapter about methods to solve extremely complex problems; and - an expanded section with new decomposition methods utilizing the Boolean Differential Calculus extended to lattices of logic functions. The book provides insight into applications across binary arithmetic, coding, complexity, logic design, programming, computer architecture, and artificial intelligence. Based on the extensive teaching experience of the authors, Logic Functions and Equations is highly recommended for a one- or two-semester course in computer science and related programs. It provides straightforward high-level access to these methods and enables sophisticated applications, elegantly bridging the gap between mathematics and the theoretical foundations of computer science. Logic functions and equations are (some of) the most important concepts of Computer Science with many applications such as Binary Arithmetics, Coding, Complexity, Logic Design, Programming, Computer Architecture and Artificial Intelligence. They are very often studied in a minimum way prior to or together with their respective applications. Based on our long-time teaching experience, a comprehensive presentation of these concepts is given, especially emphasising a thorough understanding as well as numerical and computer-based solution methods. Any applications and examples from all the respective areas are given that can be dealt with in a unified way. They offer a broad understanding of the recent developments in Computer Science and are directly applicable in professional life. Logic Functions and Equations is highly recommended for a one- or two-semester course in many Computer Science or computer Science-oriented programmes. It allows students an easy high-level access to these methods and enables sophisticated applications in many different areas. It elegantly bridges the gap between Mathematics and the required theoretical foundations of Computer Science. Front Matter ....Pages i-xvi Front Matter ....Pages 1-1 Basic Algebraic Structures (Christian Posthoff, Bernd Steinbach)....Pages 3-41 Logic Functions (Christian Posthoff, Bernd Steinbach)....Pages 43-97 Logic Equations (Christian Posthoff, Bernd Steinbach)....Pages 99-121 Boolean Differential Calculus (Christian Posthoff, Bernd Steinbach)....Pages 123-165 Sets, Lattices, and Classes of Logic Functions (Christian Posthoff, Bernd Steinbach)....Pages 167-245 Front Matter ....Pages 247-247 Logic, Arithmetic, and Special Functions (Christian Posthoff, Bernd Steinbach)....Pages 249-297 SAT-Problems (Christian Posthoff, Bernd Steinbach)....Pages 299-337 Extremely Complex Problems (Christian Posthoff, Bernd Steinbach)....Pages 339-360 Combinational Circuits (Christian Posthoff, Bernd Steinbach)....Pages 361-457 Sequential Circuits (Christian Posthoff, Bernd Steinbach)....Pages 459-494 Back Matter ....Pages 495-508
