<logic> A truth function that is true when one or the other of its components (called disjuncts) is true, and false otherwise. Also the connective denoting this function; also the compound proposition built from this connective.
Exclusive disjunction
One or the other of the disjuncts is true, but not both. Notation: no standard symbol, but the concept is accurately captured thus: p /<=> q (negation of material equivalence). Inclusive disjunction
One or the other or both of the disjuncts is true. Notation: p v q.
[Glossary of First-Order Logic]
Try this search on OneLook / Google