Raciocínio Lógico — sistemas operacionais

Considere que as letras P, Q, R e S representam proposições e que os símbolos ¬, ^ e v 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.

[P ^ (Q v S) ] Ù ( ¬ [(R ^ Q) v (P ^ S)] ) é verdadeira.