Steinbach B. Logic Functions and Equations.Fundamentals.3ed 2022