Logic Functions and Equations (3^rd Ed., 3rd ed. 2022) Fundamentals and Applications using the XBOOLE-Monitor

The greatly expanded and updated 3rd edition of this textbook offers the reader a comprehensive introduction to the concepts of logic functions and equations and their applications across computer science and engineering. The authors? approach emphasizes a thorough understanding of the fundamental principles as well as numerical and computer-based solution methods. The book provides insight into applications across propositional logic, binary arithmetic, coding, cryptography, complexity, logic design, and artificial intelligence.

Updated throughout, some major additions for the 3rd edition include:

• a new chapter about the concepts contributing to the power of XBOOLE;
  
• a new chapter that introduces into the application of the XBOOLE-Monitor XBM 2;
  
• many tasks that support the readers in amplifying the learned content at the end of the chapters;
  
• solutions of a large subset of these tasks to confirm learning success;
  
• challenging tasks that need the power of the XBOOLE software for their solution.
  

The XBOOLE-monitor XBM 2 software is used to solve the exercises; in this way the time-consuming and error-prone manipulation on the bit level is moved to an ordinary PC, more realistic tasks can be solved, and the challenges of thinking about algorithms leads to a higher level of education.

Part I Theoretical Foundations.- 1. Basic Algebraic Structures.- 2. Logic Functions.- 3. Logic Equations.- 4. Boolean Differential Calculus.- 5. Sets, Lattices, and Classes of Logic Functions.- Part II Applications.- 6. Logic, Arithmetic, and Special Functions.- 7. SAT-Problems.- 8. Extremely Complex Problems.- 9. Combinational Circuits.- 10. Sequential Circuits.- References.- Index.

Bernd Steinbach studied Information Technology at the University of Technology in Chemnitz (Germany) and graduated with an M.Sc. in 1973. He graduated with a Ph.D. and with a Dr. sc. techn. (Doctor scientiae technicarum) for his second doctoral thesis from the Faculty of Electrical Engineering of the Chemnitz University of Technology in 1981 and 1984, respectively. In 1991 he obtained the Habilitation (Dr.-Ing. habil.) from the same Faculty. Topics of his theses involved Boolean equations, Boolean differential equations, and their application in the field of circuit design using efficient algorithms and data structures on computers.

He was working in industry as an Electrician, there he tested professional controlling systems at the Niles Company. After finishing his studies, he taught as Assistant Lecturer at the Department of Information Technology of the Chemnitz University of Technology. In a following period of industrial occupation as a research engineer he developed programs for test pattern generation for computer circuits at the company ROBOTRON. Thereafter he returned to the Department of Information Technology of the Chemnitz University of Technology as Associate Professor for design automation in logic design.

From 1992 to 2017 he was a Full Professor of Computer Science / Software Engineering and Programming at the Freiberg University of Mining and Technology, Department of Computer Science. He served as Head of the Department of Computer Science and Vice-Dean of the Faculty of Mathematics and Computer Science. His research areas include logic functions and equations and their application in many fields, such as Artificial Intelligence, UML - based testing of software, UML - based hardware / software co-design, and extremely complex problems. He is the head of a group that developed the XBOOLE software system. He is co-author and editor of 19 books. He published more than 280 chapters in books, complete issue