Problem 1: K-Map and Boolean Algebra