Looking at
AV I/O
HDMI Out:Yes
Composite Output:Yes
Component Output:Yes
SCART Out:No

of HDMI Input:2

of Audio Input:1

of Optical Input:1

of Coaxial Input:0

Headphone Jack:No
MIC Jack:No

that's your tv and ps3 connected ok, how would you hook up the audio on your digital tv input?

Well, I have a sky+ box. I assume I would just connect from the sky box and the playstation to the TV via HDMI, and then onwards from there using the digital audio?

Or alternatively both the ps3 and the sky box into the receiver, and then on from there with hdmi?

I have to admit I don't know very much about such systems