PPT Slide
Proving theorems (cont'd)
Using the axioms of Boolean algebra:
- e.g., prove the theorem: X • Y + X • Y' = X distributivity (8) X • Y + X • Y' = X • (Y + Y') complementarity (5) X • (Y + Y') = X • (1) identity (1D) X • (1) = X ?
- e.g., prove the theorem: X + X • Y = X identity (1D) X + X • Y = X • 1 + X • Y distributivity (8) X • 1 + X • Y = X • (1 + Y) identity (2) X • (1 + Y) = X • (1) identity (1D) X • (1) = X ?