Se J, A e Q são proposições simples verdadeiras, então o valor lógico da proposição
(\neg J \land A) \Leftrightarrow (\neg Q \lor \neg A) é:
Tautológico.
Contraditório.
Falso.
Verdadeiro.
Impossível de determinar.