Advertisement

Boolean Differential Calculus

  • Christian Posthoff
  • Bernd Steinbach
Chapter

Abstract

The Boolean Differential Calculus extends the Boolean Algebra by evaluating the change behavior of logic functions. Vectorial derivative operations explore the value change between pairs of function values reached by the change of an arbitrary number variables. Different function values in these pairs are indicated by the vectorial derivative, unchanged values 1 by the vectorial minimum, and at least one value 1 by the vectorial maximum. A special case of the vectorial derivative operations are the single derivative operations where only a single variable changes its value. Repeated execution of the same type of a single derivative operation with regard to different variables results in k-fold derivative operations. These operations evaluate the function values of certain subspaces of the given function. Derivative operation can be efficiently calculated a have many applications in determining properties of logic functions, in circuit design, test, and others. The differential of a given Boolean variable is also a Boolean variable that is equal to 1 when the given variable changes its value. Logic equations that commonly use Boolean variables and the associated differentials can be used to describe the edges of a graph. Similarly, to the differential of Boolean variables, differential operations of logic function are defined. Differential operations summarize associated derivative operations for several directions of change.

References

  1. 5.
    Bochmann, D., Posthoff, C.: Binäare Dynamische Systeme. Oldenbourg, Germany. Akademie-Verlag, Berlin (1981). ISBN: 978-3486250718Google Scholar
  2. 26.
    Posthoff, C., Steinbach, B.: Logic Functions and Equations - Binary Models for Computer Science. Springer, Dordrecht (2004). ISBN: 978-1441952615CrossRefGoogle Scholar
  3. 48.
    Steinbach, B., Posthoff, C.: Logic Functions and Equations - Examples and Exercises. Springer, Berlin (2009). ISBN: 978-1-4020-9594-8zbMATHGoogle Scholar
  4. 49.
    Steinbach, B., Posthoff, C.: Boolean differential calculus - theory and applications. J. Comput. Theor. Nanosci. 7(6), 933–981 (2010). ISSN: 1546-1955. https://doi.org/10.1166jctn.2010.1441
  5. 57.
    Steinbach, B., Posthoff, C.: Boolean Differential Equations. Morgan & Claypool Publishers, San Rafael (2013). ISBN: 978-1-6270-5241-2. https://doi.org/10.2200/S00511ED1V01Y201305DCS042 zbMATHGoogle Scholar
  6. 66.
    Steinbach, B., Posthoff, C.: Boolean Differential Calculus. Morgan & Claypool Publishers, San Rafael (2017). ISBN: 978-1-6270-5922-0. https://doi.org/10.2200/S00766ED1V01Y201704DCS052 zbMATHGoogle Scholar
  7. 76.
    Thayse, A.: Boolean Calculus of Differences. Springer, Berlin (1981). ISBN: 978-3540102861CrossRefGoogle Scholar

Copyright information

© Springer International Publishing AG 2019

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

Personalised recommendations