Proving theorems
Example 1: Prove the uniting theorem
Distributive X • Y + X • Y' = X • (Y + Y') Complementarity = X • (1) Identity = X
Example 2: Prove the absorption theorem
Identity X + X • Y = X • 1 + X • Y Distributive = X • (1 + Y) Null = X • (1) Identity = X