Uma equipe responsável pela validação de regras de um sistema informatizado analisou diferentes proposições para identificar qual delas representa uma contradição, isto é, uma expressão que permanece falsa independentemente dos valores atribuídos às proposições simples. Esse procedimento é importante para eliminar regras impossíveis de serem satisfeitas pelo sistema. Assinale a alternativa CORRETA.