hilarykustoff Wrote:I keep going down the list of constraints, but for some reason it isn't working for me. Thanks for your help!
hilarykustoff Wrote:Why does B not violate -y-->r?? You can't have both of them right?
timmydoeslsat Wrote:hilarykustoff Wrote:Why does B not violate -y-->r?? You can't have both of them right?
The ~Y --->R rule is a rule that signifies at least one one must be present.
Could you ever have both Y and R out? No. The moment one of those variables is out, the other must be in.
Could you ever have both Y and R in? Sure.
If I have Y in...this rule does not apply.
If I have R in...this rule does not apply.
You would be correct in your thinking with the rule of: Y --->~R
That is a rule that signifies not both.
mcarmody Wrote:I'm still confused as to why the contrapositive doesn't stand in this case. R --> -Y would be Y--->-R
Is it the language of the constraint because it doesn't specifically leave out the possibility that they can both be in the same picture?
solomon.waller Wrote:How come (B) doesnt violate the third rule?