Yo tengo el PC conectado por HDMI al AVR, igual que la PS3. Y del AVR a la TV por HDMI.
El sonido de la TV (cuando veas la TDT) pasa al AVR por el HDMI si la TV y el AVR soportan ARC (audio return channel), si no lo soporta alguno de los 2, como es mi caso, sacas el sonido de la TV por un cable óptico al AVR y ya tienes sonido.