No conozco las características de ese Denon, pero veo que lleva bastantes conexiones HDMI.

Imagino que para el HTPC tendrás que conectar una pantalla directamente al HDMI, y la salida HDMI conectarla al Denon, al cual conectarías también la PS3 y los altavoces, y al cual conectarías la pantalla LED a una salida.

Lo que sí es que la segunda pantalla creo que no la podrías pasar por el DEnon, pero tampoco lo veo un problema.

Saludos