if(redState == HIGH, greenState == LOW)
What do you think this is doing? It isn't, but I'm curious what you were trying to accomplish?
Perhaps you need to look at the && operator, and quit trying to invent shortcuts. The compiler certainly isn't going to understand them.