Definition:Exclusive Or/Also known as

Exclusive Or: Also known as
This usage of or, that disallows the case where both disjuncts are true, is also called:
 * exclusive disjunction
 * logical inequality
 * non-equivalence
 * symmetric difference
 * the alternative function
 * aut (from the Latin), pronounced out.

Some sources refer to this as the strong or, where the weak or is used in the sense of the inclusive or.

In natural language, when it is necessary to be precise about the nature of the term being used, the phrase but not both is often employed.

Some sources give the symbol as $\underline \lor$ or $\not \equiv$