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

• A. Impact
• B. Non Impact
• C. Force
• D. None of the above