truth tables p implies (not q and r)