P And Q Or P And Not Q P