Case statement inside constraint

In reply to venkata-srikanth:

Can you think how you could express this with a one-line algebraic equation? No case, if/else, or implication needed.