A disjunction that remains true if either or both of its arguments are true. This is equivalent to the ORconnective.

By contrast, the exclusive disjunction is true if only one, but not both, of its arguments are true, and is false if neither
or both are true, which is equivalent to the XOR connective.