[P ∧ (Q ∨ S) ] ∧ (¬ [(R ∧ Q) ∨ (P ∧ S)] ) é verdadeira.

Considere que as letras P, Q, R e S representam proposições e que os símbolos ¬, ∧ e ∨ são operadores lógicos que constroem novas proposições e significam não, e e ou respectivamente. Na lógica
proposicional, cada proposição assume um único valor (valor-verdade) que pode ser verdadeiro (V) ou falso (F), mas nunca ambos.
Considerando que P, Q, R e S são proposições verdadeiras, julgue os itens seguintes.