A type of [[Molecular Proposition|Molecular]] [[Proposition]] / [[Logical Operator]] which is denoted by: $\huge p \oplus q $ The operator can also be expressed as: $\huge \left[p \or q\right] \wedge \neg [p \wedge q] $ or $\huge p \ne q $ This operator is only [[Truth Value|True]] if either $p$ or $q$ is *true*, but not both. #### Truth Table | $p$ | $q$ | $p \oplus q$ | | ----- | ----- | ------------ | | **F** | **F** | **F** | | **F** | *T* | *T* | | *T* | **F** | *T* | | *T* | *T* | **F** |