Um setor jurídico automatizou a leitura da proposição "Se o parecer foi aprovado, então o relatório foi publicado" e deseja trabalhar com uma forma logicamente equivalente para auditoria textual. A equipe precisa substituir essa proposição por outra que preserve exatamente a mesma tabela-verdade. Qual alternativa apresenta uma proposição logicamente equivalente à implicação original? 

Em uma aula de lógica aplicada ao controle normativo, o professor exibiu a fórmula [(p → q) ^ p] → q e pediu que a turma classificasse sua natureza lógica. A expressão foi analisada em todas as combinações possíveis de valores lógicos de p e q. Ao final, buscava-se identificar se a proposição permanece verdadeira em qualquer situação. Que classificação deve ser atribuída a essa fórmula?

Em um curso de formação, 120 candidatos foram avaliados quanto ao domínio de Excel e Power BI. Sabe-se que 78 dominam Excel, 65 dominam Power BI e 19 não dominam nenhuma dessas duas ferramentas. A coordenação precisa identificar quantos candidatos dominam simultaneamente Excel e Power BI para organizar uma atividade avançada. Quantos candidatos pertencem à interseção entre os dois conjuntos?