PPT Slide

2 – Combinational Logic

© 1996 Gaetano Borriello

Proving theorems

• Using the axioms of Boolean algebra:

  • e.g., prove the theorem: X • Y + X • Y' = X
  • e.g., prove the theorem: X + X • Y = X

11

Previous slide

Next slide

Back to first slide

View graphic version