Implication and Equivalence

• Other important operations involving constraints are:

• implication: test if C1 implies C2

  • impl(C1, C2) answers true, false or unknown

• equivalence: test if C1 and C2 are equivalent

  • equiv(C1, C2) answers true, false or unknown

Previous slide

Next slide

Back to first slide

View graphic version