Exclusive-or connective ⊕. p ⊕ q is true exactly when p and q differ in truth value; false when both are true or both are false. Equivalent to (p ∨ q) ∧ ¬(p ∧ q) and to ¬(p ↔ q).
Exclusive-or connective ⊕. p ⊕ q is true exactly when p and q differ in truth value; false when both are true or both are false. Equivalent to (p ∨ q) ∧ ¬(p ∧ q) and to ¬(p ↔ q).