Boolean Differential Calculus / by Bernd Steinbach, Christian Posthoff.

Format:

Book

Author/Creator:

Steinbach, Bernd., Author.

Posthoff, Christian., Author.

Series:

Synthesis Lectures on Digital Circuits & Systems, 1932-3174

Language:

English

Subjects (All):

Engineering.

Electronic circuits.

Automatic control.

Robotics.

Automation.

Computers.

Technology and Engineering.

Electronic Circuits and Systems.

Control, Robotics, Automation.

Computer Hardware.

Local Subjects:

Technology and Engineering.

Electronic Circuits and Systems.

Control, Robotics, Automation.

Computer Hardware.

Physical Description:

1 online resource (XII, 203 p.)

Edition:

1st ed. 2017.

Place of Publication:

Cham : Springer International Publishing : Imprint: Springer, 2017.

Summary:

The Boolean Differential Calculus (BDC) is a very powerful theory that extends the basic concepts of Boolean Algebras significantly. Its applications are based on Boolean spaces ���� and ����ⁿ, Boolean operations, and basic structures such as Boolean Algebras and Boolean Rings, Boolean functions, Boolean equations, Boolean inequalities, incompletely specified Boolean functions, and Boolean lattices of Boolean functions. These basics, sometimes also called switching theory, are widely used in many modern information processing applications. The BDC extends the known concepts and allows the consideration of changes of function values. Such changes can be explored for pairs of function values as well as for whole subspaces. The BDC defines a small number of derivative and differential operations. Many existing theorems are very welcome and allow new insights due to possible transformations of problems. The available operations of the BDC have been efficiently implemented in several software packages. The common use of the basic concepts and the BDC opens a very wide field of applications. The roots of the BDC go back to the practical problem of testing digital circuits. The BDC deals with changes of signals which are very important in applications of the analysis and the synthesis of digital circuits. The comprehensive evaluation and utilization of properties of Boolean functions allow, for instance, to decompose Boolean functions very efficiently; this can be applied not only in circuit design, but also in data mining. Other examples for the use of the BDC are the detection of hazards or cryptography. The knowledge of the BDC gives the scientists and engineers an extended insight into Boolean problems leading to new applications, e.g., the use of Boolean lattices of Boolean functions.

Contents:

Introduction

Basics of Boolean Structures

Derivative Operations of Boolean Functions

Derivative Operations of Lattices of Boolean Functions

Differentials and Differential Operations

Applications

Solutions of the Exercises

Bibliography

Authors' Biographies

Index.

ISBN:

9783031798924

3031798929