Editing Logical disjunction (section)

==Inclusive and exclusive disjunction==

Because the logical ''or'' means a disjunction formula is true when either one or both of its parts are true, it is referred to as an ''inclusive'' disjunction.  This is in contrast with an [[exclusive disjunction]], which is true when one or the other of the arguments are true, but not both (referred to as ''exclusive or'', or ''XOR'').

When it is necessary to clarify whether inclusive or exclusive ''or'' is intended, English speakers sometimes uses the phrase ''[[and/or]]''. In terms of logic, this phrase is identical to ''or'', but makes the inclusion of both being true explicit.