Hierfür gibt es verschiedene Herangehensweisen.
Wenn Du Dir die Wahrheitstafel dazu aufmalst, wirst Du feststellen, dass Du für \(a\wedge\overline{b}\) dieselbe Wahrheitswertbelegung erhältst.
Systematisch kannst Du das durch die logischen Umformungsregeln herausbekommen. Ersetze dazu das \(a\oplus b\) durch \(\wedge,\vee,\neg\) und wende anschließend De'Morgan an.