This all depends on what light gun you plan to use...
1: Guncon2 or "TV" act labs.
You can use the Green component connector instead of a "video out" from the gfx card, so long as you are outputting a component signal that is around 15khz.
2: PC USB actlabs
In theory this will still work on the green connector, but you need to use 31Khz horizontal sync rates - which I don't think will work with the tv you listed.
3: LCD Topguns.
Works whatever you do as does not use the video signal at all.