Come si svolge un esercizio del genere?

Dimostrare che l'espressione in somme di prodotti di (x XOR y)(NOT x + NOT(y+x) ) è http://imageshack.us/photo/my-images/10/immagine1vp.png


Prego guida passo passo for dummies dato che è l'unico che non riesco a fare...