Logic Functions and Equations - Steinbach, Bernd; Posthoff, Christian (Springer Netherlands, 2009)