Bernd Steinbach, Christian Posthoff

DOI Number
First page
Last page


The Boolean Differential Calculus (BDC) significantly extends the Boolean Algebra because not only Boolean values 0 and 1, but also changes of Boolean values
or Boolean functions can be described. A Boolean Differential Equation (BDE)
is a Boolean equation that includes derivative operations of the Boolean Differential Calculus. This paper aims at the classification of BDEs, the characterization of the respective solutions, algorithms to calculate the solution of a BDE, and selected applications. We will show that not only classes and arbitrary sets of Boolean functions but also lattices of Boolean functions can be expressed by Boolean Differential Equations.
In order to reach this aim, we give a short introduction into the BDC, emphasize
the general difference between the solutions of a Boolean equation and a BDE, explain the core algorithms to solve a BDE that is restricted to all vectorial derivatives of f(x) and optionally the Boolean variables. We explain formulas for transforming other derivative operations to vectorial derivatives in order to solve more general BDEs. New fields of applications for BDEs are simple and generalized lattices of Boolean functions. We describe the construction, simplification and solution.
The basic operations of XBOOLE are sufficient to solve BDEs. We demonstrate
how a XBOOLE-problem program (PRP) of the freely available XBOOLE-Monitor
quickly solves some BDEs.

Full Text:



D. Bochmann and C. Posthoff. Binäre dynamische Systeme. Munich, Vienna: Oldenbourg, 1981, p. 397. ISBN: 978-3-4862-5071-8.

O. S. Rothaus. “On ”Bent” Functions”. In: J. Combinatorial Theory. A 20(1976), pp. 300–305.

C. Posthoff and B. Steinbach. Logic Functions and Equations - Binary Models for Computer Science. Dordrecht: Springer, 2004, p. 392. ISBN: 978-1-4020-2938-7.

B. Steinbach. “Generalized Lattices of Boolean Functions Utilized for Derivative Operations”. In: Materiały konferencyjne KNWS’13. Łag´ow, Poland, 2013, pp. 1–17.

B. Steinbach. “Lösung binärer Differentialgleichungen und ihre Anwendung auf binäre Systeme”. PhD thesis. TH Karl-Marx-Stadt (Germany), 1981.

B. Steinbach and C. Posthoff. “Boolean Differential Calculus”. In: Progress in Applications of Boolean Functions. Morgan & Claypool Publishers, San Rafael, CA - USA, 2010, pp. 55–78.

B. Steinbach and C. Posthoff. “Boolean Differential Calculus - Theory and Applications”. In: Journal of Computational and Theoretical Nanoscience 7.6 (2010), pp. 933–981.

B. Steinbach and C. Posthoff. Boolean Differential Equations. Morgan &

Claypool Publishers, 2013, p. 146. ISBN: 978-1-6270-5241-2.

B. Steinbach and C. Posthoff. “Classes of Bent Functions Identified by Specific Normal Forms and Generated Using Boolean Differential Equations”.

In: FACTA UNIVERSITATIS (NIS). Electronics And Energetics 24.3 (2011),

pp. 357–383. ISSN: 0353-3670. DOI: 10.2298/FUEE1103357S.

B. Steinbach and C. Posthoff. “Classification and Generation of Bent Functions”. In: Proceedings Reed-Muller 2011 Workshop. Gustavelund Conference Centre, Tuusula, Finnland, 2011, pp. 81–91.


  • There are currently no refbacks.

ISSN: 0353-3670 (Print)

ISSN: 2217-5997 (Online)

COBISS.SR-ID 12826626