Elimine o maior número possível de símbolos de pontuação das fórmulas a seguir,mantendo a representação da fórmula original.
Passo 1
O enunciado pede para eliminar o máximo de parênteses da fórmula
mantendo a mesma estrutura lógica. Vamos usar as regras de precedência e associatividade dos conectivos lógicos.
Passo 2
As regras de precedência são
Logo em
o conectivo
tem maior precedência que
, permitindo remover os parênteses em torno de
. De modo semelhante, em
podemos retirar os parênteses de
e de
.
Passo 3
Após remover esses parênteses internos, ficamos com
Agora só restam parênteses em torno de cada bicondicional.
Passo 4
O bicondicional
é associativo, ou seja
Portanto podemos retirar todos os parênteses finais, obtendo