(\neg P_{k,1} \wedge \neg P_{k,2}) \vee (P_{k,1} \wedge P_{k,2})