Duality - A Meta-Theorem

• Any theorem remains true if:

  • + and • are interchanged, and
  • 0 and 1 are interchanged

• Important implication

  • if you prove one theorem and you have also proven its dual

• Example: prove the dual of consensus

• Note: not the same as de Morgan's Law

Previous slide

Next slide

Back to first slide

View graphic version