Estude! Com Prof. Caju

Sendo p e q proposições lógicas, pode-se afirmar que a proposição composta (([tex3]\overline{p}[/tex3] [tex3]\rightarrow[/tex3] q) [tex3]\wedge[/tex3] ([tex3]\overline{\overline{p} \wedge q}[/tex3])) [tex3]\wedge[/tex3] [tex3]\overline{ (p \vee \overline{p}) \wedge ((q \vee \overline{p}) \rightarrow \overline{(q \vee p))}}[/tex3] é equivalente a:

a) p [tex3]\vee[/tex3] q.
b) p [tex3]\wedge[/tex3] q.
c) p [tex3]\vee[/tex3] [tex3]\overline{q}[/tex3].
d) [tex3]\overline{p}[/tex3] [tex3]\rightarrow[/tex3] [tex3]\overline{q}[/tex3].
e) [tex3]\overline{p \rightarrow q}[/tex3].

Qual o significado desse conectivo lógico [tex3]\overline{p}[/tex3]? Seria ~p?