(p IMPLIES q) OR (r AND ~q)