2. Mostre se as expressões E1 e E2 são equivalentes logicamente: E1 = (s→ (p ∧ ¬r)) ∧ ((p→ (r ∨ q)) ∧ s) E2 = (p ∧ q ∧ ¬r ∧ s) ∨ ¬(p ∨ s)

Para verificar se as expressões E1 e E2 são logicamente equivalentes, podemos usar a tabela verdade ou simplificações lógicas. Vamos analisar cada expressão: E1: \((s \to (p \land \neg r)) \land ((p \to (r \lor q)) \land s)\) 1. A implicação \(s \to (p \land \neg r)\) é equivalente a \(\neg s \lor (p \land \neg r)\). 2. A implicação \(p \to (r \lor q)\) é equivalente a \(\neg p \lor (r \lor q)\). 3. Portanto, E1 pode ser reescrita como: \[ (\neg s \lor (p \land \neg r)) \land ((\neg p \lor (r \lor q)) \land s) \] E2: \((p \land q \land \neg r \land s) \lor \neg(p \lor s)\) 1. A negação \(\neg(p \lor s)\) é equivalente a \(\neg p \land \neg s\). 2. Portanto, E2 pode ser reescrita como: \[ (p \land q \land \neg r \land s) \lor (\neg p \land \neg s) \] Agora, para verificar a equivalência, podemos construir a tabela verdade para ambas as expressões ou simplificá-las ainda mais. Após a análise, podemos concluir que as expressões não são equivalentes logicamente, pois E1 depende de condições que não se refletem em E2. Se precisar de mais detalhes sobre a construção da tabela verdade ou simplificações, é só avisar!