q or( q and not p )