Conversion between forms

• Introduce inversions ("bubbles")

  • Bubbles must be introduced in pairs
    • Conservation of inversions
    • Do not alter logic function

• Example: AND/OR to NAND/NAND

A

B

C

D

Z

Z = [(AB)'(CD)']'

= [(A'+B')(C'+D')]'

= (A'+B')'+(C'+D')'

= AB + CD

Previous slide

Next slide

Back to first slide

View graphic version