Lista de símbolos:
→ Condicional
↔ Bicondicional
∧ Conector “e”
∨ Conector “ou”
⊻ Conector “ou” exclusivo
¬ Negação da proposição
Se J, A e Q são proposições simples verdadeiras, então o valor lógico da proposição 
é
Se J, A e Q são proposições simples verdadeiras, então o valor lógico da proposição é
