Los que tengan salida HDMI pasarán audio por él, aunque tendran otras salidas digitales, óptica como la PS3 o coaxial, por las que también podrás conectarlos al AVR.

La conexión HDMI tiene la ventaja de evitar cableado, como dices, y también el que solo por ella pueden viajar los formatos de sonido HD (Dolby TrueHD, DTS-MA y PCM multicanal). Esto último es importante en la PS3 pues es lector BR también.

Por tanto, elige un receptor que admita sonido por HDMI (Onkyo Tx-SR606, Yamaha RX-V663 o 661, Kenwood 7300...).