P lub nie-P, a może Q

(P lub nie-P, a moze Q)