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.”?