Posthoff, c.; Steinbach, B. Logic Functions and Equations: Binary Models for Computer Science c.; Steinbach, B. Posthoff - Dodrecht Springer 2004