Com relação ao valor lógico, avalie as afirmações a seguir. I. ¬ (p ^¬q) II. p?(...

Questão de Sistemas de Informação da banca INEP aplicada no concurso ENADE (2011). Confira a resolução completa abaixo:

Com relação ao valor lógico, avalie as afirmações a seguir.

I. ¬ (p ^¬q)
II. p?(q?p)
III. (pv¬q)?¬p
IV. (p^q)v(¬p^¬q)

É tautologia apenas o que se afirma em