正 r(g(¬Pr(g(G)) ∧ Pr(g(G))))