Considere as seguintes proposições lógicas:
p: João é mais baixo que André.
q: João é baiano.
A partir dessas proposições, traduzindo para a linguagem lógica simbólica,
como ficaria a proposição “Não é verdade que: João é mais baixo que
André ou é baiano.”?