진리집합의 포함 관계

전체집합 $U$에서 정의된 조건 $p ( x )$의 진리집합을 $P$, 조건 $q ( x )$의 진리집합을 $Q$라 하자. ‘모든 $x \in U$에 대하여 $p ( x )$ 또는 $\sim q ( x )$’ 가 참일 때, $P$, $Q$의 관계로 항상 옳은 것은? (단, $\sim q ( x )$는 조건 $q ( x )$의 부정이다.) [3점] ①$P \cap Q ^{C} = \phi$②$P ^{C} \cap Q = \phi$③$P \cap Q = \phi$④$P \cup Q = U$⑤$P = Q$