The K-map based Boolean reduction is based on the following Unifying Theorem: A + A’ = 1.

• A. impact
• B. non impact
• C. force
• D. complementarity