What is the truth value of the formula (P⊕Q) ⟺ (P̸ ⟺ Q)(P \oplus Q) \iff (P \not\iff Q)(P⊕Q)⟺(P⟺Q)?
Always True (Tautology)
Always False (Contradiction)
True only when P=QP=QP=Q
True only when P≠QP \neq QP=Q