The HK 645 does HDMI switching but only has 2 HDMI inputs. As long as you don't add another HDMI device, I'd assume you hook up the PS3 and cable box to the receiver through HDMI. Then hook up the HDMI output from the receiver to the TV.

Shag