Uma norma interna foi sintetizada pela proposição: “A solicitação será deferida se, e somente se, o documento tiver sido validado e a taxa tiver sido compensada”. Considere D: “a solicitação é deferida”; V: “o documento é validado”; e T: “a taxa é compensada”. A auditoria precisa registrar a negação integral da regra, isto é, as situações em que os dois lados da equivalência apresentam valores lógicos diferentes.

Assinale a alternativa que expressa CORRETAMENTE a negação de D ↔ (V ∧ T).