Consider: “Either Zayd is present, or if Amr comes, Khalid departs.”
First alternative: “Zayd is present” — categorical.
Second alternative: “If Amr comes, Khalid departs” — connected conditional.
The outer “either … or” joins these distinct component-types. Reversing the order leaves the same categorical/connected pair in the disjunction.
The example is meant to display the component pattern, not to establish the truth or inferential correctness of its two alternatives.