Cara Sandra Silva, bom dia.
A fórmula não está correta, a taxa de IRS não deve mudar na altura do pagamento dos subsídios de férias e de Natal. As tabelas de retenção na fonte são preparadas de forma a ter em conta os valores dos subsídios. No caso particular de 2012, existem tabelas de retenção na fonte diferentes para os trabalhadores que não irão receber os subsídios de férias e de Natal na totalidade.