Considere a proposição lógica:

(P ∧ Q → ¬R),

onde:

P: o funcionário tem salário líquido maior que R$ 2.500,00.

Q: o funcionário desconta imposto de renda na fonte.

R: o funcionário recebe auxílio refeição.

A alternativa que traduz essa proposição é: