Deduzco que tienes una PS3 conectada por HDMI al Denon, si no te aparece el logo Dolby TrueHD de manera automática al seleccionar esa pista en el disco puede deberse a que no está configurada la salida de la PS3 como bitstream o/y que no tienes seleccionado ese tipo de audio, revisalo.