Wow, that's really interesting. But I don't get the "easily seen" part. Do you have a reference that shows that McKinsey formula is coNP-complete?

Yes, you're right. By the "further question" I was hoping to get a formula that has some kind of graph theoretic meaning. For example, it could be saying something about colourability of the graph. (I'll update the question)