How would I be able to perform in GAMS syntax the logical input p implies no q (p => ~q)? The context is that I have a product in a sequence where another product can not be
