Advertisement

Logic Functions and Equations

Binary Models for Computer Science

  • Christian Posthoff
  • Bernd Steinbach

Table of contents

  1. Front Matter
    Pages i-xvi
  2. Theoretical Foundations

    1. Front Matter
      Pages 1-1
    2. Christian Posthoff, Bernd Steinbach
      Pages 3-41
    3. Christian Posthoff, Bernd Steinbach
      Pages 43-97
    4. Christian Posthoff, Bernd Steinbach
      Pages 99-121
    5. Christian Posthoff, Bernd Steinbach
      Pages 123-165
    6. Christian Posthoff, Bernd Steinbach
      Pages 167-245
  3. Applications

    1. Front Matter
      Pages 247-247
    2. Christian Posthoff, Bernd Steinbach
      Pages 249-297
    3. Christian Posthoff, Bernd Steinbach
      Pages 299-337
    4. Christian Posthoff, Bernd Steinbach
      Pages 339-360
    5. Christian Posthoff, Bernd Steinbach
      Pages 361-457
    6. Christian Posthoff, Bernd Steinbach
      Pages 459-494
  4. Back Matter
    Pages 495-508

About this book

Introduction

The expanded and updated 2nd 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 2nd 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.

Keywords

Boolean algebras Special logic functions Boolean differential calculus Differentials of Logic Functions Lattices of Logic functions Combinatorial circuits Finite state machines Hardware-software co-design XBOOLE

Authors and affiliations

  • Christian Posthoff
    • 1
  • Bernd Steinbach
    • 2
  1. 1.Computing and Information TechnologyUniversity of the West Indies (retired)ChemnitzGermany
  2. 2.Computer ScienceTU Bergakademie Freiberg (retired)ChemnitzGermany

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-030-02420-8
  • Copyright Information Springer International Publishing AG 2019
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-030-02419-2
  • Online ISBN 978-3-030-02420-8
  • Buy this book on publisher's site