Em uma sessão pública do Conselho Universitário (CONSU) de uma Universidade Federal, o Pró-Reitor de Planejamento defendeu uma diretriz orçamentária declarando a seguinte premissa:

“Se a arrecadação própria da instituição aumenta ou o Ministério da Educação libera o limite orçamentário, então a reforma do Restaurante Universitário é executada.”

Para instruir o parecer técnico de governança, um Técnico em Assuntos Educacionais precisou deduzir, a partir da fala original do Pró-Reitor, duas novas proposições equivalentes para o relatório oficial do conselho:

1. Uma proposição que represente uma equivalência lógica válida.
2. Uma proposição que represente a negação lógica exata da premissa.

Considerando os conectivos lógicos da tabelaverdade, as leis de De Morgan e as propriedades das condicionais, assinale a alternativa que apresenta, respectivamente, uma equivalência e a negação corretas para a declaração do Pró-Reitor: