Em expressões lógicas complexas sem parênteses, deve-se respeitar a ordem de precedência dos conectivos: 1º Negação (~); 2º Conjunção (^) e Disjunção (v); 3º Condicional (->); 4º Bicondicional (<->).
Na ausência de parênteses, qual operador deve ser resolvido por último?