Asíiii es...
Tienes 4 entradas de HDMI, pues la que quieras ver la pulsas en el mando del AVR, ya sea PS3 (BLURAY), DVD, TVHD, TVSAT... no se las opcines que te ponga el IN de los Hdmi
Y una vez seleccionado que es lo que quieres ver, en la TV pulsas el canal que emite ese Hdmi. Con eso ya te debería valer...