A true disjunction allows both alternatives to be true at once.

Exceptive Syllogism: Valid Inferences from Connected and Disjunctive Conditionals