Buenas,
Para demostrar esa igual te conviene plantear la definición de la entropía condicionada. En las diapositivas se plantea algo similar condicionado con una sola variable.
En este caso, como E puede tomar solo los valores 0 y 1, en vez de plantear la sumatoria en el espacio de E puedes escribir explícitamente un sumando cuando E vale 0 y otro cuando E vale 1. Esto hará que uno de los términos tenga multiplicando a H(X|Y=y, E=0). Esa entropía es nula, pues se conoce el valor de Y (que es y) y se conoce que X es igual a Y (porque E es 0), dejando sin incertidumbre a X. El otro término debería quedarte como la igualdad que se pide demostrar.
Saludos.