A compound proposition in logic that is true when one and only one of its constituent statements is true.