P ∧ X
= ¬ ..
. . .