Em um protocolo de decisão, a frase lógica "Se o relatório foi validado, então a autorização será emitida" precisa ser substituída por uma formulação equivalente, sem alterar seu valor lógico em nenhum caso. Se p representa "o relatório foi validado" e q representa "a autorização será emitida", qual forma mantém equivalência lógica com p → q?