((x∈А) → (x∈P)) ∨ (x∈Q)
((x∉А) → (x∉P)) ∨ (x∈Q)
(x∈P) ∧ (x∉Q) ∧ (x∈A)
(x∉P) ∧ (x∈Q) ∧ (x∈A)
((x∈Q) → (x∈P)) ∧ (x∈A)
((x ∈ A) → (x ∈ P)) ∨ (x ∈ Q)
((x ∈ A) ∧ ¬(x ∈ Q)) → ((x ∈ P) ∨ (x ∈ Q))
((x ∈ P) ≡ (x ∈ Q)) → ¬(x ∈ A)