Logic Functions and Equations - Bernd Steinbach, Christian Posthoff (Springer, 2022)