Durante a revisão do manual de conduta e governança de uma empresa, o comitê de compliance estabeleceu a seguinte regra para os gestores de projetos:

“Se o orçamento do projeto for aprovado com restrições, então a auditoria interna revisará os contratos dos fornecedores”.

Do ponto de vista da lógica proposicional, a proposição equivalente à regra estabelecida pelo comitê é