Apress Access

Logic Functions and Equations

Examples and Exercises

By Bernd Steinbach , Christian Posthoff

  • eBook Price: $99.00
Buy eBook Buy Print Book

Logic Functions and Equations Cover Image

With a free, downloadable software package available to help solve the exercises, this book focuses on practical and relevant problems that arise in the field of binary logics, with its two main applications – digital circuit design, and propositional logics.

Full Description

  • Add to Wishlist
  • ISBN13: 978-1-4020-9594-8
  • 256 Pages
  • User Level: Science
  • Publication Date: January 29, 2009
  • Available eBook Formats: PDF
Full Description
The field of binary Logics has two main areas of application, the Digital Design of Circuits (related to Electrical Engineering) and Propositional Logics (related to Mathematics, Artificial Intelligence, Complexity etc.). In both cases it is quite possible to teach the theoretical foundations and to do some exercises, but in both cases the examples that can be done in class and by hand are far away from examples that are relevant for practical problems. Therefore a software package called XBOOLE Monitor will be made available (downloadable, without additional fees), and the exercises given in Logic Functions and Equations can be solved by using this software package – in this way it is possible to solve a lot of relevant problems and to study the solutions based on this software.
Table of Contents

Table of Contents

  1. List of Figures. List of Tables. Preface. Introduction. Part I Basic Software. 1. XBOOLE Monitor. 2. Basics and Logic Functions. 3. Logic Equations. 4. BOOLEAN Differential Calculus. 5. The Solution of Logic Equations. Part II Applications. 6. Logics and Arithmetics. 7. Combinatorial Circuits. 8. Finite
  2. State Machines.

If you think that you've found an error in this book, please let us know by emailing to editorial@apress.com . You will find any confirmed erratum below, so you can check if your concern has already been addressed.
No errata are currently published


    1. Formal Techniques for Safety-Critical Systems


      View Book