The alternatives cannot both be false but can both be true. Which type is this?

Exceptive Syllogism: Valid Inferences from Connected and Disjunctive Conditionals