Boolean differential calculus

Boolean differential calculus (BDC) (German: Boolescher Differentialkalkül (BDK)) is a subject field of Boolean algebra discussing changes of Boolean variables and Boolean functions.

Boolean differential calculus concepts are analogous to those of classical differential calculus, notably studying the changes in functions and variables with respect to each other.

The Boolean differential calculus allows various aspects of dynamical systems theory such as automata theory on finite automata, Petri net theory, and supervisory control theory (SCT), to be discussed in a united and closed form, with their individual advantages combined.

This page is issued from Wikipedia. The text is available under Creative Commons Attribution-Share Alike 4.0 unless otherwise noted. Additional terms may apply for the media files.