Considerando que o símbolo lógico v corresponda à conjunção “e”; ⋁ , à disjunção “ou”; →, à condicional “se..., então”; ⟷, à bicondicional “se, e somente se”; ~ corresponda à negação “não”; P, Q e R sejam proposições simples; e S seja a seguinte proposição composta: [P⋀~(Q⋁R)→[R⋀(P⟷Q)], julgue o próximo item.
A negação de S – ~S – pode ser corretamente expressa por [~P∨(Q∨R)]∧[(~R)∨~(P↔Q)].