# Standard symbol for exclusive disjunction?

• Jun 1st 2011, 02:29 PM
panglot
Standard symbol for exclusive disjunction?
Hello All:

Is there any "universally agreed-upon" symbol to represent this exclusive disjunction:

p v q & ~(p & q) ?

That is, would there be one symbol that one could use such that "p * q" would be equivalent to the above statement?

Thank you very much.
• Jun 1st 2011, 02:44 PM
MoeBlee
The plus symbol inside a circle.

Also, in letters:

xor
• Jun 1st 2011, 02:46 PM
bryangoodrich
Universal? No. But a common one I've seen is disjunction with a bar underneath, $\underline{\lor}$. Wikipedia lists the circle plus, $\oplus$, as another popular choice.
• Jun 1st 2011, 02:46 PM
Plato
Quote:

Originally Posted by panglot
Is there any "universally agreed-upon" symbol to represent this exclusive disjunction: p v q & ~(p & q) ?

Not to be too flippant, but that are no universally agreed-upon symbols period.
However, one very often sees the exclusive or symbolized as
$p\underline \vee q$
That means exactly one of p or q is true.