Gleichungsherleitung für die Antivalenzverknüpfung

Die Antivalenzverknüpfung ist ja die Negation der Äquivalnezverknüpfung.

Also:

Y = ¬( (A ∧ B) v (¬A ∧ ¬B) )

Wie kann ich diese gleichung umformen, so dass ich diese bekannte Form erhalte:

Y = (A ∧ ¬B) v (¬A ∧ B)

Ich wäre dankbar, wenn mir jemand schrittweise zeigen kann wie sich diese Form mit Hilfe der Regeln der Schaltalgebra ergibt.