Em um programa foi implementada a expressão lógica a seguir:

SEGREDO NOT = "SIM" AND COMARCA NOT = "CAPITAL" AND REUS NOT = 1

A expressão acima atende a especificação para os registros que exigem as seguintes condições:

• Segredo de justiça for diferente de "SIM" (valores: "SIM" ou "NÃO");

• Comarca não for da capital (valores "CAPITAL" e "INTERIOR");

• Número de réus diferente de 1 (valores: 1 em diante).

Em uma manutenção posterior, foi feita uma simplificação da expressão lógica. Qual das simplificações abaixo corresponde à mesma lógica da expressão original?