A proposição [(P∨Q)∧(R∨S)]  [Q∧(R∨S)]∨[(P∧R)∨(P∧S)] é uma tautologia. A proposição [(P∨Q)∧(R∨S)]  [Q∧(R∨S)]∨[(P∧R)∨(P∧S)] é uma tautologia. CERT...

Certo. Para verificar se a proposição é uma tautologia, podemos construir uma tabela verdade. Ao fazer isso, verificamos que todas as linhas da tabela verdade resultam em verdadeiro (V) para a proposição, o que significa que ela é uma tautologia. Portanto, a alternativa correta é CERTO.