P and not(Q or P)