If you have the older PS3 you will have to PCM it to the receiver. If you have the newer "slim" version you will be able to bitstream it to the Denon if you wish. Just set the Denon to "auto" for simplicity.