Das über dem Srich sind ja wohl die Voraussetzungen.
Da steht ja C ∨ ¬D, dass ist genau die Negation von
der Conclusio der ersten Voraussetzungen.
Also kann die Praemisse in der ersten Voraussetzung nicht wahr, sein,
sondern ihr Gegenteil ist wahr.
Und das Gegenteil ist eben ¬A xor B
Wenn du das mit Tabellen machst, wird das aber eine ganz schön große Tabelle,
würde ich nicht.